Short bio

Nicolas Troquard received a PhD in Information Technologies and in Artificial Intelligence in 2007 from the universities of Trento (Italy) and of Toulouse (France). He was the PI of the Marie Curie FP7-Trentino project "Logical Analysis of Socio-Technical Systems" that was carried out between 2011 and 2014 at the Laboratory for Applied Ontology (ISTC-CNR) in Trento. He has also been a Research Associate at the department of Computer Science at the University of Liverpool (2007-2010), and an Assistant Professor in Computer Science at the Université Paris-Est Créteil (2014-2016). Abilitazione Scientifica Nazionale II Livello: 09/H1 (sistemi di elaborazione delle informazioni), 01/B1 (informatica), 11/C2 (logica, storia, e filosofia della scienza).

Forschungsschwerpunkte

- Artificial intelligence
- Multiagent systems
- Logic
- Automated reasoning, and verification
- Ontologies
- Games and social choice
- Formal philosophy