Humboldt Laureate will visit TUM in 2019
Prof. Ahmed Bouajjani will join the Chair for Theoretical Computer Science of Prof. Javier Esparza
The Alexander von Humboldt Foundation has honored Prof. Ahmed Bouajjani with a Carl Friedrich von Siemens Research Award, in recognition of his research and teaching achievements in computer science. Ahmed Bouajjani works at the Institut de Recherche en Informatique Fondamental (IRIF) of the Universite de Paris VII (Denis Diderot), where he conducts research on program verification. The award includes a prize money of 65.000 EUR. In addition, the laureate is invited to untertake prolonged periods of research in collaboration with colleagues in Germany. Prof. Bouajjani was nominated by TUM Professor Javier Esparza, Chair for Theoretical Computer Science, and will spend a part of his research period in 2019 there.