About Me
Since September 2013, I have been an assistant professor (“maître de conférences”) at the Université de Caen Normandie, and a member of the GREYC lab in the MAD (Models, Agents, Decision) team.
Between October 2011 and August 2013, I was an assistant professor (“attaché temporaire d’enseignement et de recherche”) at the IUT de Lens (France) and a member of the CRIL Computer Science research lab.
In March 2012, I obtained a PhD in computer science, delivered by the University of Toulouse. I worked on the application of knowledge compilation to online decision-making, under the supervision of Hélène Fargier (from IRIT), Cédric Pralet, and Gérard Verfaillie (both from ONERA Toulouse).
In October 2008, I graduated from the ISAE-Supaero grande école.
Contact
You can contact me atalexandre.niveau@unicaen.fr
,
or by phone at +33 (0)2 31 56 74 84,or you can use the following postal address:
Université de Caen Normandie
Campus Côte de Nacre, Boulevard du Maréchal Juin
CS 14032
14032 CAEN cedex 5
FRANCE
Research
My main research interests are at the intersection of several fields of artificial intelligence; they belong to knowledge representation and reasoning, but are also related to constraint satisfaction, and I study applications in automated planning and interactive configuration.
More precisely, I study knowledge compilation (offline translation of problems that makes their online resolution tractable): I classify target compilation languages with respect to their succinctness and computational power, work on techniques to compile constraint networks into these languages, look for and design languages fitting the requirements of planning and configuration applications, and run experiments about all these aspects.
Teaching
In 2017–2018, I taught the following courses at the Université de Caen Normandie:
- HTML/CSS (L1);
- JavaScript (L1);
- Web technologies (L3);
- Web application programming (M1);
- Networks and protocols (M1);
- System and networking (M1).
In 2016–2017, I taught the following courses at the Université de Caen Normandie:
- Introduction to web languages (LP Webmaster);
- Implementation of an MDP solver (“Planning and decision-making” course, M2 DECIM);
- Web technologies (L3);
- Networks and protocols (M1).
In 2015–2016, I taught the following courses at the Université de Caen Normandie:
- Introduction to web languages (LP Webmaster);
- Implementation of an MDP solver (“Planning and decision-making” course, M2 DECIM);
- Web technologies (L3);
- Networks and protocols (M1);
- Object oriented programming (DUT1 RT).
In 2014–2015, I taught the following courses at the Université de Caen–Basse-Normandie:
- Networks (M2 e-secure);
- Decision diagrams for factored MDPs (“Planning and decision-making” course, M2 DECIM);
- Introduction to web languages (LP Webmaster);
- Web technologies (L3);
- Networks and protocols (M1);
- Object oriented programming (DUT1 RT).
In 2013–2014, I taught the following courses at the Université de Caen–Basse-Normandie:
- Networks (M2 e-secure);
- Knowledge compilation (“Agents & reasoning” course, M2 DECIM);
- Introduction to web languages (LP Webmaster);
- Object oriented programming (DUT2 RT);
- Web technologies (L3);
- Networks and protocols (M1).
Between 2011 and 2013, I was a teacher in seminars and/or lab sessions for the following first-year courses at the IUT de Lens:
- Algorithms (C/C++);
- Assembly language (Intel 32 bits);
- Introduction to algorithms and programming (Python);
- Computer architecture;
- Data structures (Java);
- Networking;
- System programming (Unix/bash);
- Web programming (HTML/CSS, PHP).
Between 2008 and 2012, I was a teacher in seminars and/or lab sessions for the following courses at Supaero:
- Algorithms and programming (C, first year);
- Object-oriented conception and programming (Java, second year).
Publications
International Conferences
- A Symbolic Representation for Probabilistic Dynamic Epistemic Logic International Conference on Autonomous Agents and Multiagent Systems, 2022 (AAMAS’22) paper HAL
- Knowledge Compilation for Nondeterministic Action Languages International Conference on Automated Planning and Scheduling, 2021 (ICAPS’21) paper HAL
- Temporal Sequences of Qualitative Information: Reasoning about the Topology of Constant-Size Moving Regions International Joint Conference on Artificial Intelligence, 2017 (IJCAI’17) paper HAL
- Checking the Consistency of Combined Qualitative Constraint Networks AAAI Conference on Artificial Intelligence, 2017 (AAAI’17) paper HAL
- Efficient Representations for the Modal Logic S5 International Joint Conference on Artificial Intelligence, 2016 (IJCAI’16) paper HAL
- An Algebra of Granular Temporal Relations for Qualitative Reasoning International Joint Conference on Artificial Intelligence, 2015 (IJCAI’15) paper HAL
- A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams AAAI Conference on Artificial Intelligence, 2014 (AAAI’14) paper HAL
- Towards a Knowledge Compilation Map for Heterogeneous Representation Languages International Joint Conference on Artificial Intelligence, 2013 (IJCAI’13) paper slides poster HAL
- Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams International Conference on Tools with Artificial Intelligence, 2012 (ICTAI’12) paper slides
- Knowledge Compilation Using Interval Automata and Applications to Planning European Conference on Artificial Intelligence, 2010 (ECAI’10) paper slides
International Journals
- Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams International Journal on Artificial Intelligence Tools, 23(4), 2014 Extended version of ICTAI’12 paper HAL
National Journals
- Décision de la cohérence des réseaux de contraintes qualitatives combinés Revue d'intelligence artificielle 31(1-2), 2017 French extended version of AAAI’17 paper HAL
International Workshops
- Set-Labeled Diagrams for CSP Compilation Starting AI Researchers’ Symposium, 2012 (STAIRS’12) paper slides
- Representing CSPs with Set-labeled Diagrams: A Compilation Map IJCAI Workshop on Graph Structures for Knowledge Representation and Reasoning, 2011 (GKR’11) paper slides
- Handling RealPaver’s Output by Interval Automata Compilation CP Worshop on Interval Analysis, Constraint Propagation, and Applications, 2009 (IntCP’09) paper
National Conferences
- A KC Map for Variants of Nondeterministic PDDL Journées de l'intelligence artificielle fondamentale, 2022 (JIAF’22) paper HAL
- Explicit Representations of Persistency for Propositional Action Theories Journées francophones sur la planification, la décision et l’apprentissage pour la conduite de systèmes, 2021 (JFPDA’21) paper HAL
- Knowledge Compilation for Action Languages Journées francophones sur la planification, la décision et l’apprentissage pour la conduite de systèmes, 2020 (JFPDA’20). (Preliminary version of ICAPS’21) paper HAL
- Premiers pas vers une résolution du problème de satisfaisabilité pour la logique monadique du premier ordre par une reformulation en logique des connaissances subjective mono-agent Journées de l'intelligence artificielle fondamentale, 2018 (JIAF’18) paper HAL
- Séquences temporelles d’informations qualitatives : raisonner sur la topologie de régions mobiles de taille constante Journées de l'intelligence artificielle fondamentale, 2017 (JIAF’17) French version of IJCAI’17 paper HAL
- Vérification de la cohérence des multi-réseaux de contraintes qualitatives Conférence nationale d'intelligence artificielle, 2016 (CNIA’16). (French preliminary version of AAAI’17) paper HAL
- Représentations efficaces pour la logique modale S5 Journées de l'intelligence artificielle fondamentale, 2016 (JIAF’16) French version of IJCAI’16 paper slides HAL
- Une algèbre des relations temporelles granulaires pour le raisonnement qualitatif Journées de l'intelligence artificielle fondamentale, 2015 (JIAF’15) French version of IJCAI’15 paper HAL
- Carte de compilation des diagrammes de décision ordonnés à valeurs réelles Journées de l'intelligence artificielle fondamentale, 2014 (JIAF’14) French version of AAAI’14 paper slides HAL
- Vers une carte de compilation pour des langages de représentation hétérogènes Journées de l'intelligence artificielle fondamentale, 2013 (JIAF’13) French version of IJCAI’13 paper HAL
- Compilation de CSPs : carte de complexité des MDDs non-déterministes Journées francophones de programmation par contraintes, 2013 (JFPC’13) French version of ICTAI’12 paper slides HAL
- Compilation de CSP en Set-labeled Diagram Journées francophones de programmation par contraintes, 2012 (JFPC’12) French version of STAIRS’12 paper slides HAL
- Compilation de connaissances avec automates à intervalles et applications à la planification Journées francophones de planification, décision et apprentissage, 2010 (JFPDA’10) French version of ECAI’10 paper slides
Dissertations and Reports
Miscellaneous
- Some notes about tools at my university/lab (in French). In particular, if you're using the Zimbra webmail of the university, you may be interested in this tip to make it a little bit more useable.
- Here is a page of more or less interesting notes and links that I just want to keep somewhere handy.
- I wrote a a wrapper script around git-svn, to keep the git history (almost) unscathed.
- Some other random stuff.