Who is Hans Meijer

Dr.ir. H. (Hans) Meijer

  • 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