I am a Professor in IT at the University of Toulouse 1 Capitole in France, and member of the IRIT group Logic, Interaction, Language and Computation (LILaC).
PhD proposal on "Reasoning about Auctions". PhD is part of a starting ANR project aiming at building a strategic and general auction player. Application opened until November 5. Overview of the proposal here and all details here
Master thesis proposal on "Strategic reasoning": General Game Playing embeds reasoning, ATL (Alternating-time Temporal Logic), model checking. . Starting date around February 2019. Detailed proposal in English or French
My main research areas concern:
I jointly run the first year of the Master MIAGE - track on "Ingénierie Métier"
(Business Information Systems-BIS) with Benoit Gaudou; I'm also the head of the pre-Master
program in BIS dedicated to undergraduate Chinese
I mainly teach databases, web applications and object programming. See teaching to know more.