Differences

This shows you the differences between two versions of the page.

--- education [2019/06/17 15:45]
zablotch
+++ education [2019/11/01 13:27]
seredins
@@ Line 8: / Line 8: @@
 \\
-  * [[education/ca_2018|Concurrent Algorithms]] (theory & practice)
+  * [[education/ca_2019|Concurrent Algorithms]] (theory & practice)
   * [[education/da|Distributed Algorithms]] (theory & practice)
 \\
@@ Line 51: / Line 51: @@
 EPFL I&C duration, credits and workload information are available [[https://www.epfl.ch/schools/ic/education/|here]]. Don't hesitate to contact the project supervisor if you want to complete your Semester Project outside the regular semester period.
+===== Collaborative Projects =====
+The lab is also collaborating with the industry and other labs at EPFL to offer interesting student projects motivated from real-world problems. With [[LARA||http://lara.epfl.ch]] and [[interchain.io|Interchain Foundation]] we have several projects:
+  - **[[https://dcl.epfl.ch/site/cryptocurrencies|AT2]]:** Integration of an asynchronous (consensus-less) payment system in the Cosmos Hub.
+  - **[[https://github.com/cosmos/ics/tree/master/ibc|Interblockchain Communication (IBC)]]:** Protocols description (and optional implementation) for enabling the inter-operation of independent blockchain applications.
+- **[[http://stainless.epfl.ch|Stainless]]**: Implementation of Tendermint modules (consensus, mempool, fast sync) using Stainless and Scala.
+- **[[|Prusti]]** implementation of modules in Tendermint (consensus, mempool, fast sync).
+- Mempool performance analysis and algorithm improvement
+- Experimental evaluation of Tendermint in adversarial settings (Jepsen++)
+- Test generation out of spec (TLA+ or Stainless) for consensus module
+- Using HotStuff trick to improve Tendermint
+[[education#collaborative projects|test link]]