|
Département
d'Informatique
Laboratoire des Méthodes de Programmation (LAMP) |
|
|
|
|
Rachele FUZZATIAssistante-doctoranteLAMP - DI - EPFLINR 316 Station 14 CH-1015 Lausanne Switzerland / Suisse
|
|
Research InterestsMy main interest is to apply formal methods to distributed algorithms.My aim is to fill the gap between these two fields and set the basis for an easy way to formally describe and verify algorithms for fault tolerant distributed computing. If you want to know more about this subject, here is the introduction of my Thesis Proposal. I am also interested in improving my programming skills and I'm trying to implement the Chandra-Toueg Consensus algorithm [CT96] using Scala. |
|
|
|
|
|
|
|
|
|
|
|
|