Theo C. Ruys
University of Twente
Department of Computer Science
Formal Methods and Tools Group (FMT)
P.O. Box 217
7500 AE Enschede
The Netherlands

Phone: +31 53 489 3716
Fax: +31 53 489 3247
Email: ruys [at-sign] cs.utwente.nl
Homepage: http://www.cs.utwente.nl/~ruys/
Office: Zilverling 5037

Profile

Since November 2000, I am an assistant professor (universitair docent) in the Formal Methods and Tools group of the Department of Computer Science at the University of Twente, which is situated in the east of the Netherlands. From November 1995 till October 2000 I was a Ph.D. student in the same group.

I participate in the IPA research school (i.e. the Institute for Programming Research and Algorithmics).

Research Interests

explicit state model checking, especially using SPIN
software model checking
compiler construction (tools)

Program Committees

SPIN 2006: March 30 - April 1, 2006, Vienna, Austria
SPIN 2005: August 22-24, 2005, San Francisco, USA