Projects

english only

EPFL > I&C > IIF > MTC

Student Projects

These projects can be either master or semester projects. You should contact the respective supervisor to check further details.

Stochastic Modelling in Systems Biology (Verena Wolf)
Stochastic Automata Networks in Biology (Verena Wolf)
Automated Generation of Loop Invariants for Program Verification (Laura Kovacs)
Running Giotto on Mindstorm robots (Maria Mateescu)
Case Studies in Software Model Checking (Gregory Theoduloz)
Extending the Model Checker Blast by Static Analysis Features (Gregory Theoduloz)
Automatic Translation of Reactive Modules to SMV (Maria Mateescu)