Research interests

Currently I'm doing research in the computer science department.

Security. The SoS group has a background in program verification with the Loop-tool and the specification language JML. More recently focus is shifted to more general security: how is security implemented in certain applications in society.
Smart cards. The most interesting smart cards to us are JavaCard cards, because we can use JML to specify properties and (try to) prove them. However, we are also interested in investigating systems like the Dutch E-purse (Chipknip) and the new passport with biometric information.
Theorem provers. In the SoS group we work mostly with PVS. However, in the foundations group the focus is more on Coq. Here you can find some basic tutorials for PVS.
Furthermore I used to take care of the ITA/SOS Colloquium, but nowadays there are not many persons who want to give a talk. If you'd like to present something to this audience please let me know!

Before I worked for computer science, I worked at the mathematics department.

Algebra, Computer algebra, Polynomial maps. Under supervision of Arno van den Essen I wrote my PhD. thesis Nilpotent Jacobians.
Differential and Difference Equations and Computer Algebra, a conference in honour of A.H.M. Levelt's 65th birthday. I was the technical editor of the proceedings.
The Meisters Conference. A conference on polynomial maps and the Jacobian Conjecture. A conference in honour of the mathematical work of Gary Meisters. I was the technical editor of the proceedings.

Some conferences or workshops I attended.

COMPSAC'05, International Computer Software and Applications Conference, Edinburgh, Scotland
FASE'04, Fundamental Approaches to Software Engineering, Barcelona, Spain
DSE'04, Dependable Systems Evolution, London, UK
DSE'03, Dependable Systems Evolution, London, UK
FDL'03, Forum on Specification and Design Languages, Frankfurt, Germany
PSI'03, Perspectives of System Informatics, Akademgorodok, Russia
SPC'03, Security in Pervasive Computing, Boppard, Germany