Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Homepage of Jan-Willem Roorda
Dr. Jan-Willem Roorda
E-mail:
Short bio:
I am from the Netherlands.
I studied Mathematics
at Utrecht
University and graduated in November 2000 on the subject `Pure Type
Systems for
Functional
Programming'. After working in industry
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.
At Chalmers, my research has focused on formal verification of
hardware. More specifically, under supervision of Mary Sheeran and Koen
Claessen, I have investigated howsatisfiability solvers
(SAT) can be
used to improve Symbolic Trajectory
Evaluation (STE). I have presented the results of my
research on a number of international conferences of high standard. See
below for an overview.
On the 18th of January 2007, I defended my Ph.D.-thesis with success.
Recent publications:
Jan-Willem Roorda
Semantics, Decision Procedures and
Abstraction Refinement for Symbolic Trajectory Evaluation Ph.D.-thesis, 2006.
Jan-Willem Roorda
and Koen Claessen
A Faithful Semantics for Generalized
Symbolic Trajectory Evaluation
Technical Report 2006:20, Department of Computer Science and
Engineering, Chalmers University of Technology, 2006.