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
|You are not logged in|
|©2002-2017 U.C. Regents|