Section: Other Grants and Activities
Dahu is currently participating in two ANR projects:
is a research project supported by the ANR blanche on algorithmic and complexity problems raised by enumerating solutions of a query. The goal is to provide formal methods to understand and compare the complexity of enumerations problems. The partners are University of Paris-7 (with Arnaud Durand), the project-team Mostrare at INRIA-Lille (with Joachim Niehren), the university of Caen (with Etienne Grandjean) and the university of Marseille (with Nadia Creignou). Dahu is involved in the ANR as part of the Paris-7 node.
is a research project supported by the ANR SETIN (ANR-06-SETI-001-02, 2007-2009) on the development of new techniques for automatic software verification taking into account complex features of modern programming languages, including infinite data domains and procedure calls. The partners are LIAFA, University of Paris-7 (with Ahmed Bouajjani), LABRI, Bordeaux (with Igor Walukiewicz) and LSV, ENS Cachan (with Philippe Schnoebelen). Dahu is involved in this project as part of the LSV node.