Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Profile
| Academic position | Full Professor |
|---|---|
| Research fields | Theoretical Computer Science |
| Keywords | Infinite-state systems, Formal verification, Model checking, Automata theory, Concurrent program verification |
Current contact address
| Country | France |
|---|---|
| City | Paris Cedex 13 |
| Institution | Universite Paris Cite |
| Institute | Institut de Recherche en Informatique Fondamental (IRIF) |
Host during sponsorship
| Prof. Dr. Javier Esparza | Fakultät für Informatik, Technische Universität München, Garching |
|---|---|
| Start of initial sponsorship | 01/04/2019 |
Programme(s)
| 2018 | Carl Friedrich von Siemens Research Award Programme of the Alexander von Humboldt Foundation |
|---|
Nominator's project description
| 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. |