Team Veridis

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Partnerships and Cooperations
PDF e-pub XML

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]


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]