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.