![]() |
Claude KirchnerDirector of INRIA Bordeaux - Sud-Ouest Research Centre +33 3 54 95 84 05 Scientific leader of the PROTHEO project-team |
Claude Kirchner has been appointed as Director of INRIA Bordeaux - Sud-Ouest Research Centre on January 1st, 2007.
He holds a PhD in computer science, he taught
mathematics at secondary school level, was a senior lecturer in computer science,
a CNRS researcher and, since 1988, he has been Director of Research at INRIA.
His centres of interest and internationally renowned scientific contributions
are based on logical and semantic foundations, with particular emphasis on rewriting,
for the design and implementation of secure systems. He contributed to the emergence
of deduction modulo and rewriting calculus.
In 1992 he created and then managed the PROTHEO project-team.
In 2002 he was joint prize winner of the grand prix from the French Academy
of Science for his work that helped establish the Sino-French cultural foundation.
Since 2003 he has presided over the scientific council and evaluation committee
for ministry programmes and then for the French national research agency in the
fields of security and computer science. Claude Kirchner has been appointed as
Director of INRIA Futurs Research Centre, where he took up his functions
on 1 June 2007. He is oversee the implementation of the INRIA Bordeaux - Sud-Ouest
Research Centre.