About me
Created on 2011-11-26 07:25:20
Last Modified: 2011-12-26 07:28:55
My name is Johannes Kanig. I am a Software Engineer and currently employed by AdaCore. I am working on static analysis tools and program verification. This includes the CodePeer product and the Hi-Lite project.
Previously, I was a student of the Technische Universität Dresden in Germany, and of the École Centrale Paris in France, until 2007. From 2007 to 2010, I have done a PhD in the Proval project (which is affiliated to INRIA, LRI and Université Paris-Sud), under the guidance of Jean-Christophe Filliâtre. I have been living in Paris since 2006.
E-mail: johannes@kanig.org