|[KUN]||Ade's Home Page||[Research]|
Adriaan de Groot
Informatica / ITT
University of Nijmegen
P.O. Box 9010
6500 GL Nijmegen
|What I do ...|
I'm a PhD. student at the University of Nijmegen, working on Requirements Engineering, PVS, and formal verification using automata. This year, I'm teaching the 1st year course on machine architecture and assembly language programming. I used to take care of the colloquium, but not any more.
Since the university is intent on shooting itself in the foot by changing its name to something obscure and unpronouncable, all my personal stuff is now over at the fruitsalad project. Research and education stuff will remain here, of course, though they may be mirrored there, too.
Last changed Mon Nov 1 15:10:17 MET 2004