Jonathan Ben-Naim
- Date of birth: 5th of March, 1980
- Marital status: Divorced, 2 children
Employment
- October 2007 - current: CNRS researcher, Computer Science, University of Toulouse, IRIT, LILaC
- October 2006 - September 2007: Post-doctoral researcher, Computer Science, University of Luxembourg, ILIAS
Degrees
- October 2003 - April 2006: PhD in Computer Science, University of Aix-Marseille
Title: On the Characterization of Common Sense Reasoning in the Presence of Uncertain Information
Mention: Très Honorable
Date of defense: 28th of April, 2006
Supervisor: Karl Schlechta
Rapporteurs: Dov Gabbay and Andreas Herzig
Jury: Serge Grigorieff (president), Andreas Herzig, David Makinson, Pierre Marquis, and Karl Schlechta
- September 2002 - July 2003: Master 2 in Computer Science, University of Aix-Marseille
Rank: 1st (first class honours)
- September 2001 - July 2002: Master 1 in Computer Science, University of Toulon
Rank: 1st (first class honours)
- Click here for a complete list of diplomas, PhD reports, etc.
Grants
Participation in Projects
- 2006 - 2010: ForTrust, ANR-SETIN
Models of trust and reputation
- 2000 - 2004: REVIGIS, IST-FET
Revision of geographical information
Mobility
- November 2008: 2 weeks at Bar Ilan University, Ramat Gan, Israel
Joint work with Dov Gabbay on reputation systems
- October 2008: 2 weeks at University of Luxembourg, Luxembourg
Joint work with Dov Gabbay on reputation systems
- February 2007 - March 2007: 1 month at University of Tel-Aviv, Israel
Joint work with Arnon Avron and Beata Konikowska on paraconsistent logics
Teaching and Supervision
- 2020: ATER, university of Toulouse
Python (L1), 56h de travaux pratiques
- 2017: Supervision d'un stage de Master 2, université de Toulouse
Étudiant: Rémi Adelin
- 2008: Supervision d'un stage de Master 1 (travail d'étude et de recherche), université de Toulouse
Étudiante: Fériel Abbassi
- 2007: Participation in lectures, university of Luxembourg
Selected Topics in Artificial Intelligence (L1), 1h30
Mathematics for Computer Science (L1), 6h
- October 2003 - September 2006: Teaching assistant, University of Aix-Marseille
Algorithmique (L2), 18h de travaux dirigés, 18h de travaux pratiques
Introduction à l'informatique (L1), 10h de travaux dirigés, 20h de travaux pratiques
Mise à niveau C (L2), 12h de travaux dirigés, 12h de travaux pratiques
Programmation en Pascal (L1), 96h de travaux pratiques
Architecture des ordinateurs (L3), 20h de travaux dirigés, 20h de travaux pratiques
Base de données (L2), 20h de travaux dirigés, 20h de travaux pratiques
Administration
- 2011 - 2015: Membre nommé du conseil de laboratoire de l'IRIT
- 2011 - 2013: Membre nommé de la Commission des Personnels Chercheurs et Enseignants-Chercheurs de l'IRIT (CPCEC)
- 2008 - 2012: Main designer and co-administrator of the database on the IRIT international relations
- 2011 - 2013: Membre élu du conseil de faculté de la FSI (Faculté des Sciences et d'Ingénierie) de l'Université Paul Sabatier
- 2008: Participation in the ART competition (Agent Reputation and Trust Testbed)
Rank: 4th out of 11
- 2006 - 2007: Organizer of the ILIAS seminars, University of Luxembourg
- 2006: Member of the organizing committee of STACS'06
- 2005: Collector of the Dagstuhl workshop Belief Change in Rational Agents
- 2004 - 2006: Webmaster of the former group Logic and Complexity of the LIF, University of Aix-Marseille