- Retired Associate Professor (Universitair Hoofddocent)
Toernooiveld 1
6525 ED Nijmegen
+31 24 365 31 32
Hans.Meijer@niii.ru.nl
http://www.xs4all.nl/~hmmdb
- Former educational tasks
- Machines (I00058,
Computer Architecture)
- Inleiding Vertalerbouw (IB026A,
Introduction to Compiler Construction)
- Geschiedenis van de Informatica (I00138,
History of Informatics)
- Beweren en Bewijzen (B&B;,
Statement and Proof), together with Hanno
Wupper
- Thesis Supervision
- Former research interests
- JavaCard, JML, Security
- VerifiCard: Tool-assisted
Specification and Verification of JavaCard
Programs
- Taxonomy
of Computer Technology and Science (with Hanno
Wupper)
- Software Architecture of PLCs
- Transformational Programming
- Renovation of 'legacy' software (A2C Software
Renovation)
- Co-author of a (secondary education) HAVO/VWO-textbook
Turing published by ThiemeMeulenhoff
for the optional 'second phase' course Informatica
Updated 25 November 2004 |