Associate professor in Computer Science and Informatics at Université Clermont Auvergne (LIMOS/IUT Clermont Auvergne)Research: symbolic AI : knowledge representation and reasoning (ontologies, description logics, logic programming, semantic web) Teaching: algorithmics, programming (Java, C#, prolog), databases, game design, game AI