Institut national de recherche en informatique et en automatique — France
Computer Science · Physical Sciences
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(112), Privacy-Preserving Technologies in Data(99), Formal Methods in Verification(95), Logic, Reasoning, and Knowledge(82), Cryptography and Data Security(71)
Publications448 total
Frequent Co-authors
Konstantinos Chatzikokolakis(19), Frank Valencia(6), Miguel E. Andrés(5), Mário S. Alvim(5), Prakash Panangaden(5), Frank S. de Boer(5), Geoffrey Smith(4), Moreno Falaschi(4), Giorgio Levi(4), Nicolás E. Bordenabe(3), Maurizio Martelli(3), Marco Stronati(3), Mogens Nielsen(3), Karima Makhlouf(3), Sami Zhioua(3), Annabelle McIver(2), Yuxin Deng(2), Jun Pang(2), Maurizio Gabbrielli(2), Kostas Chatzikokolakis(1)