Dr Wendelin Serwe obtains a permanent position at INRIA

The VASY team is pleased to report that Dr Wendelin Serwe obtained a permanent research position (Chargé de Recherche INRIA) at INRIA Rhône-Alpes, ranking first among 40 applicants.

After graduating from the Universität Karlsruhe, Dr Wendelin Serwe received a PhD in computer science (on concurrent extensions of declarative programming languages) from Institut National Polytechnique de Grenoble in March 2002, under the supervision of Dr Rachid Echahed.

From August 2002 to March 2003, he held a post-doctoral position in the team of Prof Thomas Jensen at INRIA Rennes, where he worked on the verification of Java Card^TM applications.

Since March 2003, Dr Wendelin Serwe has been working in the VASY team. His competences in language design, compilation, and abstract interpretation will strengthen the development of the CADP toolset, with a special focus on its application to hardware verification.

Back to the VASY Home Page