Curriculum Vitae

  • I am titular of a Master degree in computer science of the INSA de Rennes engineer school, and a reseach Master degree in formal methods of the University of Rennes.
    • Erasmus for 10 monthes in Valencia (Spain).
  • In 2005, I started a PhD on formal analysis of programs in the Lande team (now called Celtique), at the IRISA, in Rennes. I obtained this degree by defending my thesis on "Quantitative Aspects of Static Analysis" in December 2008. My advisors were Thomas Jensen and David Cachera.
    • Spent 2 monthes at Imperial College in London, in 2007. Working with Herbert Wiklicky and Alessandra Di Pierro.
  • 2008-2009, teaching and researching at the University of Nantes (ATER). My research took place in the Coloss [fr] team of the LINA, on the formal modelization of the team Component Language (Kmelia).
  • 2009-2011. Postdoc at INRIA Grenoble. I worked in the Pop-Art team together with Bertrand Jeannet. In the context of the ANR Asopt, I studied several aspects of the static analysis of C programs (eg. parameter-passing through pointers, encoding of booleans in integer variables).
  • Since October 2011. Postdoc at ENS Paris. I work in the Abstraction team together with Xavier Rival. Current topic: shape analysis for embedded programs.

Research Area

  • Semantics of programming languages
  • Static analyses for
    • programs involving costs
    • programs involving probabilities
    • component-based developments
    • memory properties (eg. pointer analysis, try on-line the PInterproc analyzer)
  • Precision of numerical Abstract Interpretations

Other Topics of Interest

Functional languages

By my initial studies, I have got a large experience of Java and C. However, I now recommand and use strongly-typed functional langages, like Haskell and OCaml.

I provide a library for bit vectors in OCaml.

Set theory

Most of my researches rely on the set theory. I propose a short summary on isomorphism algebra for sets.

Theater

I like both to act and to see theater. Here is a list of plays [fr] I have been involved in.

Publications

Most of them can be found here.

Contact

E-mail: pascal.sotin@ens.fr