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.
Some conferences or workshops I attended.
International Computer Software and Applications Conference, Edinburgh, Scotland
Fundamental Approaches to Software Engineering, Barcelona, Spain
- DSE'04, Dependable Systems Evolution, London, UK
- DSE'03, Dependable Systems Evolution, London, UK
Forum on Specification and Design Languages, Frankfurt, Germany
Perspectives of System Informatics, Akademgorodok, Russia
Security in Pervasive Computing, Boppard, Germany