Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
formal [2013/01/16 12:39] vkuncak |
formal [2013/05/09 19:47] vkuncak |
||
|---|---|---|---|
| Line 7: | Line 7: | ||
| EPFL conducts research in formal methods, focusing on **tools** and **algorithms** for **construction** of reliable and efficient software and hardware: | EPFL conducts research in formal methods, focusing on **tools** and **algorithms** for **construction** of reliable and efficient software and hardware: | ||
| * [[http://lara.epfl.ch|Automated Reasoning and Analysis Lab]] | * [[http://lara.epfl.ch|Automated Reasoning and Analysis Lab]] | ||
| - | * [[http://www-verimag.imag.fr/~jobstman/|Barbara Jobstmann]] | + | * [[http://people.epfl.ch/barbara.jobstmann|Barbara Jobstmann]] |
| * [[http://lca.epfl.ch/|Communications and Applications Laboratory]] | * [[http://lca.epfl.ch/|Communications and Applications Laboratory]] | ||
| * [[http://data.epfl.ch/|Data Analysis Theory and Applications Laboratory]] | * [[http://data.epfl.ch/|Data Analysis Theory and Applications Laboratory]] | ||
| Line 39: | Line 39: | ||
| * [[http://www.vaud.ch/en/our-services/companies/relocating/|Establishing your enterprise in the canton of Vaud]] | * [[http://www.vaud.ch/en/our-services/companies/relocating/|Establishing your enterprise in the canton of Vaud]] | ||
| + | Further | ||
| + | * [[http://lara.epfl.ch/w/cfm|Communications in Formal Methods]] | ||