Martijn Oostdijk

Martijn Oostdijk SoS group, ICIS (Office HG02.069, Science Faculty, Toernooiveld 1) Radboud University Postbus 9010 6500GL Nijmegen +31 24 3652077 martijno@cs.ru.nl (PGP key available) http://www.cs.ru.nl/~martijno/

I work as a security analyst at Riscure BV and as an assistant professor (or "lecturer" or "UD") in the Security of Systems (SoS) group at the Nijmegen Institute of Information and Computing Sciences. You have reached my home page at the latter affiliation. My current work there focuses on information security and program correctness.

Previously I worked as a postdoctoral researcher in the same group. Most recently in Bart Jacobs' Pionier project and before that in the Verificard project.

Before my return to Nijmegen I was a Ph.D. student in Jos Baeten's Formal Methods group in Eindhoven (my day-to-day supervisor back then was Herman Geuvers).

Research

• Here's a list of publications.
• Some (small and large) projects I (used to) work on, for which I have some information online:
  • JMRTD: A free implementation of the Machine Readable Travel Document standards, together with many other people in SoS (2006).
  • Wardriving: Wardriving in and around Nijmegen, together with Cees-Bart Breunesse (2005).
  • KOA: Kiezen op Afstand, together with Engelbert Hubbers and Joe Kiniry (2004).
  • TISHack: Penetration test of UCI's ISIS+/TIS/Kiss concern system, together with Cees-Bart Breunesse (2004).
  • AutoJML: A JML Specification Generator, together with Engelbert Hubbers (2003).
  • Payapplet: Source Code Verification of a Secure Payment Applet, together with Bart Jacobs and Martijn Warnier (2003).
  • Java Cards: Some links to Java Cards and related devices (2002).
  • Voting with smart cards: A demo developed for the ICT Kenniscongres <2001>, together with Cees-Bart Breunesse and Bart Jacobs (2001).
  • Java iButtons under Linux: How I got my Java iButton to work under Linux (2001).
  • Pocklington's criterion: Some files and links related to Pocklington's primality test, together with Olga Caprotti (2000).
  • Interactive Mathematical Documents: A prototype implementation to transform Coq contexts into interactive mathematical OMDoc documents (2000).
  • OM Calculator: An OpenMath calculator demo applet (2000).
  • Reflection in Coq: Some small reflection experiments in Coq (1997).
  • Lambda Calculator: A proof search program written in Clean. Based on Martin Bunder's algorithms (1996).
  • Proof by Calculation in Lego: Some old Lego files related to my master's thesis project (1996).
• I organize the weekly ICIS Colloquium.
• The SoS group (and therefore my research) is associated with the IPA research school.

Students

Ph.D.

• I supervise Ibrahim Kaliisa's Ph.D. project, which takes place within the Nuffic project Building a sustainable ICT training capacity in the four Public Universities of Uganda in cooperation with Makerere University in Kampala, Uganda.
• I supervised Martijn Warnier's Ph.D. project, which took place within the SAMASC project in collaboration with the Eindhoven Computer Science Security Group. Martijn succesfully defended his thesis on November 27, 2006.

Master and Bachelor

• A list of students which I supervise(d).
• A list of thesis subjects is available from the SoS group web site.

Teaching

Current Courses

• In the fall semester of 2006 I teach Object-Orientation (aka P3) to bachelor students Computer Science.
• In the second half of the fall semester of 2006 I teach Gedistribueerde Software Systemen (GSS) to bachelor students Information Science.
• In the fall semester of 2006 I teach Security in Organizations to master students Information Science and Computer Science.
• In the fall semester of 2006 I went along with a group of students to visit Uganda in the context of the course ICT in a Different Culture (Studiereis), together with Nicole el Moustakim, Ger Paulussen, Theo van der Weide

Past Courses

• In the fall semesters of 2005 and 2004 I taught Object-Orientation (P3/GSS) to bachelor students Information Science and Computer Science.
• Together with Bart Jacobs, Martijn Warnier, and Ichiro Hasuo I taught Security in Organizations, Security Protocols and/or Information Security courses in 2005, 2004, 2003 and 2002.
• In the spring semester of 2005 I taught an OOTI course on software engineering, JML, and Java Card in Eindhoven, together with Simona Orzan, Erik de Vink, Engelbert Hubbers, and Erik Poll. Previous incarnations of this course were taught in 2004 and 2003 (the teaching team back then included Joe Kiniry).
• In the spring semester of 2002 I taught T3: Semantiek en Correctheid, together with Erik Barendsen.

Other Teaching Stuff

• I am a member of the opleidingscommissie Informatiekunde/Informatica.

Voorlichting (in Dutch)

Als het even kan, neem ik deel aan voorlichtingsactiviteiten over onze opleidingen aan middelbare scholieren. Zie voor toekomstige activiteiten de site van het instituut. Zie ook de nieuwe iChallenge site.

• Schoolbezoek (kort praatje op middelbare school): Meestal samen met een van onze studenten.
• Algemene voorlichtingsdag (praatjes en demo's, meestal twee sessies op een zaterdag):
  • Verschillende demo's die te zien waren op algemene voorlichtingsdagen.
• 4 VWO dag (meerdere sessies per dag):
  • 2005: Een cursus modelleren van informatiesystemen (oorspronkelijk ontworpen door Stijn Hoppenbrouwers) voor 4 VWO-scholieren gehouden op 1 april 2005 en 31 maart 2006.
  • 2001: Een Java cursus voor 4 VWO-scholieren gehouden op 6 April 2001 op de RU.
• Proefstuderen (scholieren komen een hele dag "meedraaien"):
  • 2004/2005: Een Security en Smart Card cursus voor VWO-scholieren geïnteresseerd in Informatiekunde/Informatica gehouden op 10 Juni 2004 op de RU.
  • 2002/2003: Een Java cursus voor VWO-scholieren geïnteresseerd in Informatica gehouden op 5 Juni 2002 en 4 Juni 2003 op de RU.

Other

• My brother Diederik also has a Web page.
• A very old collection of my digital photographs.
• An article in regional newspaper the Gelderlander on wireless networks; in Dutch).
• Informatica vierde in 2006 haar 25 jarige lustrum (in Dutch).
• De alumivereniging NINJA (in Dutch) voor oud-informatica én oud-informatiekunde studenten, organiseert regelmatig lezingen voor oud-studenten. We zijn altijd op zoek naar sprekers!
• View my .
• Google: Google me. Who's linking to my home page? Similar pages. City of Nijmegen.

(This page was last modified on Friday, 13-Apr-2007 00:06:54 MEST by martijno.)