Spring 2003 Visitors

Posted 25 November 2002

During Spring 2003, we had two visitors:

Stefan Schwoon of the University of Stuttgart visited for two months (mid-February to mid-April). Schwoon's area of expertise is model checking of pushdown systems.

Bertrand Jeannet of IRISA in Rennes, France visited for three months (mid-March to mid-June). Jeannet's interests include formal verification and test methods, abstract interpretation, linear-relation analysis, probabilistic model checking, and synchronous languages.

<< Back to index

This page updated October 18, 2005.