Wojciech Mostowski

Personal Info

I am a Post-Doc in Digital Security (DS) Group at the Computing Science Department of Radboud University Nijmegen in the Netherlands.

Before I came to the Netherlands I worked at Chalmers University of Technology, Division of Computing Science, where I got my PhD in March 2005 under the supervision of Reiner Hähnle. During my PhD studies I also worked for the KeY project - integrating object oriented design with formal methods.

Research Interests

Formal verification of object oriented software, in particular Java, plus surroundings.
All kinds of smartcard related subjects.

Projects

The projects I am working for at the moment:

Publications

A full list of my publications can be found on a separate page. Also, check out the brand new KeY book, which I co-authored.

Events

October 2006: Together with Reiner Hähnle and Erik Poll I organised the European Science Foundation Workshop on "Challenges in Java Program Verification".

Software

I actively participate in the development of the KeY System.

For the PinPas Java Card Project I developed the Java Card Firewall Tester.

I pariticipate in (P) or administrate (A) the following Source Forge projects:

(P) Java Implementation of the Machine Readable Travel Documents JMRTD.
(P) Smart Card Utilities for Better Access.
(A) Electronic Driving License (ISO18013). This is based on JMRTD.
(A) ISO7816 PKI Java Card signing applet.
(A) Global Platform for Java SmartCardIO library.

My smaller software projects are available at my software page.

Some long time ago I also wrote Java Card Tools [PDF] for Borland Together Control Center CASE tool. Unfortunately, it is out of date (as is Together CC) and it is not maintained anymore.

Teaching

Currently none.

Contact Information

E-mail: woj@cs.ru.nl
Tel: +31 (0)24-365 2076
Fax: +31 (0)24-365 2298

Visiting Address

Room HG02.059
Department of Computing Science
Faculty of Science, Mathematics, and Computer Science
Heijendaalseweg 135
6525 AJ Nijmegen
The Netherlands

Maps: Nijmegen, Campus.

Postal Address

Computing Science Department
Radboud University Nijmegen
P.O. Box 9010
6500 GL Nijmegen
The Netherlands