Jan-Willem Roorda I am a Ph.D. Student at the Department of Computing Science of Chalmers University of Technology and Göteborg University.

I studied Mathematics at Utrecht University [link]. I graduated in November 2000 on the subject `Pure Type Systems for Functional Programming'. After working as a researcher at Smarthaven [link] for a short period, I returned to academia in August 2001 as a Ph.D. student at the Department of Computing Science of Chalmers University of Technology.
 

Research:

My research focusses on formal verification of hardware. Currently I am investigating Symbolic Trajectory Evaluation usings Satisfiability Solvers. My supervisors are Mary Sheeran and Koen Claessen. In the past I have done research on the specification of Multi Agent Systems together with Wiebe van der Hoek and John Jules Meyer.

• Jan-Willem Roorda and Koen Claessen
  
A new SAT-based Algorithm for Symbolic Trajectory Evaluation
Correct Hardware Design and Verification Methods 2005, (CHARME 2005).
LNCS Vol. 3725 © Springer-Verlag
[pdf]

• Jan-Willem Roorda
  
Symbolic Trajectory Evaluation using a Satisfiability Solver
Ph. Licenciate Thesis, 2005.
[ps]

• J.W. Roorda, W. van der Hoek and J.-J.Ch Meyer
  
Iterated Belief Change in Multi Agent Systems
Logic Journal of the IGPL, volume 11, 2003.
[ps] [pdf] [bib]

• J.W. Roorda, W. van der Hoek and J.-J.Ch Meyer
  
Iterated Belief Change in Multi Agent Systems
First International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS),  2002.
[ps]

Teaching:

I am course responsible for the Functional Programming course [link].

Fun stuff:

• Pictures [link]

Contact Information:

• E-mail: jwr@cs.chalmers.se
• Telephone: +46 31 772 1023
  
• Office: Room 5461 in the  EDIT building
  
• Postal address:

Chalmers University of Technology
Department of Computing Science
412 96 Göteborg
Sweden