Claude Kirchner, Executive Officer for Research and Technology Transfer for Innovation
Claude Kirchner is Executive officer for research and technology transfer for innovation. He supervises all of the institute's activities involving research, technology development, and technology transfer.
Claude Kirchner chairs the scientific and technical steering committee and monitors the work of the evaluation committee and the decisions of the scientific council.
He guides the policy of strategic partnerships with industrial players, also monitoring implementation. He also coordinates the discussions and actions of the institute regarding scientific and general ethics by relying on, in particular, the "Report on the creation of an ethics committee in computational sciences and technologies", made public in January 2010, for which he coordinated the drafting.
From January 2008, Claude Kirchner was director of the Inria Bordeaux - Sud Ouest centre. Claude Kirchner, a doctor in computer science, has worked as a secondary education mathematics teacher, lecturer in computer science, junior research scientist at the French National Centre for Scientific Research, and, since 1988, has been a research director at Inria.
His internationally recognised scientific interests and contributions focus on logical and semantic foundations, particularly based on rewriting, for the design and implementation of robust systems. He contributed to the emergence of deduction modulo concepts and rewriting computing.
Starting in 1992, he created and directed the PROTHEO project-team. He was a joint winner of the 2002 Academy of Sciences grand prize for the Franco-Chinese cultural foundation. Since 2003, he has chaired the scientific and evaluation councils of the programmes of the ministry then of ANR (the French National Research Agency) in security and computer science. On 1 June 2007, Claude Kirchner was appointed deputy director to the director of the Inria Futurs research centre, for the establishment of the Inria Bordeaux - Sud-Ouest research centre.