Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Profil
| Derzeitige Stellung | Professor W-3 und Äquivalente |
|---|---|
| Fachgebiet | Theoretische Informatik |
| Keywords | Infinite-state systems, Formal verification, Model checking, Automata theory, Concurrent program verification |
Aktuelle Kontaktadresse
| Land | Frankreich |
|---|---|
| Ort | Paris Cedex 13 |
| Universität/Institution | Universite Paris Cite |
| Institut/Abteilung | Institut de Recherche en Informatique Fondamental (IRIF) |
Gastgeber*innen während der Förderung
| Prof. Dr. Javier Esparza | Fakultät für Informatik, Technische Universität München, Garching |
|---|---|
| Beginn der ersten Förderung | 01.04.2019 |
Programm(e)
| 2018 | Carl Friedrich von Siemens-Forschungspreis-Programm der Alexander von Humboldt-Stiftung |
|---|
Projektbeschreibung der*des Nominierenden
| Professor Bouajjani has made outstanding contributions to automatic software verification, the task of designing computer programmes that find bugs in other software or establish their absence. He has pioneered the automatic verification of concurrent software and of programmes running on top of so-called weak memory models. During his stay in Germany, Professor Boaujjani will develop verification techniques able to trade off between consistency guarantees and performance, and techniques for weak memory models of high-level languages. |