|
Doctoral Assistant |
|
Laboratory for Automated Reasoning and Analysis
|
|
|
Giuliano Losa
|
|
|
office(s):
INR315
phone(s): [+41 21 69] 37502
|
|
|
MISSION
|
|
I am interested in the automated verification of fault tolerant distributed algorithms, like BFT protocols.
|
|
BIOGRAPHY
|
I received a master in electrical engineering from Supélec, Paris, and a master in computer science from EPFL, Lausanne. After an internship at IBM's Watson Research Center, I started my PhD in August 2009 under the supervision of Viktor Kuncak and Rachid Guerraoui.
You can find my CV here.
|
|
