Axel Simon

Welcome to my home page. I am working as a Post Doc in the «sémantique et interprétation abstraite» group of Patrick Cousot.

Axel Simon Département d'informatique École normale supérieure 45 rue d'Ulm 75230 Paris Cedex 05 France

Email : Axel.Simon@ens.fr Téléphone : +33 1 44 32 20 41 Fax : +33 1 44 32 20 15

Before starting my PostDoc in the group of Patrick Cousot at the Département d'Informatique de l'École normale supérieure I worked at the Computer Science Laboratory at the University of Kent at Canterbury, UK. At Kent I was employed as a Teaching Assistant while I worked towards my Ph.D. I stayed on for another two years on a Post Doc position. Before coming to Kent I completed my undergraduate degree in Computer Science at the RWTH Aachen, Germany.

Research Interests

My research interest lies in proving the absence of memory management errors in C programs, in particular, my goal is to prove the absence of buffer overflows in off-the-shelf C programs. In this context, I am focussing on defining sound abstractions of C programs and in finding efficient numeric domains to summarise the program behaviour. I have written a book about my findings so far.