Matto Ceriotti received the EWSN/CONET Best PhD Thesis Award at the 9th European Conference on Wireless Sensor Networks (EWSN 2012), for his thesis “Guaranteeing Communication Quality in Real World WSN Deployments” (Advisor: A.L. Murphy).
-
PhD Grant on Model-based system-software engineering and formal methods for space systems
-
PhD positions in collaboration with the University of Trento on formal-methods-related topics
-
VAIPOSA Kick Off Meeting
-
New Software Developer Position in the Field of Formal Methods
-
Distinguished artifact award at TACAS conference