Previous | 
Home
The VeriDis team is a joint proposal between members of the Mosel team at LORIA, Nancy, France, and members of the Automation of Reasoning group at Max-Planck Institute for Informatics in Saarbrücken, Germany. The proposal was evaluated positively in spring 2011 by the group of experts named by INRIA, but has not yet been created as a joint team. Consequently, this report only presents work involving members of the team in Nancy.
Section: Members
Research Scientist
Stephan Merz [Team leader, Senior Researcher, INRIA, HdR]Faculty Members
Marie Duflot-Kremer [Associate Professor, Université Henri Poincaré Nancy 1, since September 2011]Pascal Fontaine [Associate Professor, Université Nancy 2, on leave at INRIA since 09/2011]
Dominique Méry [Professor, Université Henri Poincaré Nancy 1, HdR]
External Collaborator
David Déharbe [Associate Professor, Universidade Federal do Rio Grande de Norte, Brazil]PhD Students
Sabina Akhtar [Université Henri Poincaré Nancy 1, since 09/2008, grant from foreign government]Manamiary Andriamiarina [Université Henri Poincaré Nancy 1, since 10/2010]
Diego Caminha Barbosa de Oliveira [Université Nancy 2, until 03/2011]
Henri Debrat [Université Henri Poincaré Nancy 1, since 10/2009, joint supervision with Bernadette Charron-Bost]
Tianxiang Lu [Universität des Saarlands, since 05/2009, joint supervision with Christoph Weidenbach]
Cristián Rosa [Université Henri Poincaré Nancy 1, until 10/2011, joint supervision with Martin Quinson of AlGorille team]
Hernán-Pablo Vanzetto [Université Henri Poincaré Nancy 1, since 10/2010, joint supervision with Kaustuv Chaudhuri]
Post-Doctoral Fellow
Bruno Woltzenlogel Paleo [until 03/2011]Administrative Assistant
Isabelle Herlich [shared with teams AlGorille, Alice, Score]Others
Hernán Ponce de Leon [Universidad Nacional de Rosario, Argentina, student intern 04-07/2011]Julien Perugini [ESIAL, student intern 06-08/2011]
Pierre Savonitto [ESIAL, student intern 06-08/2011]