Who?	Visiting	Mailing
	Room A6020 Toernooiveld 1 Nijmegen tel: 024-3652272	Adriaan de Groot Informatica / ITT University of Nijmegen P.O. Box 9010 6500 GL Nijmegen The Netherlands

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