Geert Janssen

Geert Janssen has been an assistant professor at Eindhoven University since 1986 and a visiting scientist at IBM T.J. Watson for the last 8 summers. His research interests are in CAD, in particular, formal verification.

Email address: G.L.J.M.Janssen@ele.tue.nl