Tilbage til hovedside

Jørn Lind-Nielsen

Position:
Former Ph.D. student at the IT University of Copenhagen
(I have now moved to Maconomy).

Supervisor:
Henrik Reif Andersen

Projects:
Verification in general.
Model checking of State/Event systems.
BuDDy - A Binary Decision Diagram Package.

Publications:
A list of publications is available.

Address
Web: http://www.itu.dk/people/jln
E-mail: jln@itu.dk