I’m associate professor at Université de Strasbourg, member of ICPS and CAMUS teams. My main research interest is in modeling the runtime behavior of realistic programs, especially with regard to memory. This includes:
and more generally, anything related to the execution of programs.
I’m reachable via email at alain@unistra.fr.