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