– University of Geneva –
The development of complex and reliable software systems requires rigorous methods for modelling, designing and verifying them.
The Semantics, Modelling and Verification (SMV) group is a research laboratory involved in the design of formalisms dedicated to the analysis of properties of systems, as well as the automatic generation of their code and of pertinent test cases.
A coherent set of tools has been developed by the group to apply the methods to software-intensive systems.
The SMV lab is in charge of teaching the following courses at the University of Geneva:
Software modelling and verification
Advanced formal methods
Concurrency and repartition
Programming languages semantics
We currently have several propositions for students who would be interested in doing bachelor or master projects with us:
Students are of course also welcome to come and see us with their own ideas for projects.
In this bachelor project, techniques from machine learning were applied to try and predict the amount of water necessary to keep the soil in a plantation at a certain level of humidity.
You can find Adrien Chabert’s thesis here. Note that the document is written in French.
Former members of the SMV lab:
Edmundo López Bóbeda
Andrey Berlizev - Andy sadly left us in April 2009
Giovanna Di Marzo
Our mail address is:
Semantics, Modelling & Veriﬁcation Laboratory University of Geneva Battelle Bat. A Route de Drize 7 CH-1227 Carouge Switzerland
You can also contact us by email at: