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.