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
)