Researchers with a fixed-term contract | AI, logic, game and social choice theory
Nicolas Troquard
Faculty of Engineering
Dominikanerplatz 3 - piazza Domenicani, 3
39100
Bozen-Bolzano
Dominikanerplatz 3 - piazza Domenicani, 3
39100
Bozen-Bolzano
Office hours
Thursday, 14:30 - 15:30
Arrange by email in advance.
Thursday, 14:30 - 15:30
Arrange by email in advance.
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).
Courses
Operating and real-time systems
42408A · ING-INF/05 · L-8 Electronics and Cyber-Physical Systems Engineering · IT
Operating Systems
76241 · ING-INF/05 · L-31 Computer Science - 2020 · IT
Main Research Areas
- Artificial intelligence
- Multiagent systems
- Logic
- Automated reasoning, and verification
- Ontologies
- Games and social choice
- Formal philosophy