Marieke Huisman Research Contact information

What do I do?

• Assistant Professor in the FMT (Formal Methods and Tools) Group at the University of Twente.

• Publications

• Research topics around program verification and security of applications and platforms for trusted personal devices
  • Verification of concurrent Java programs, together with Christian Haack and my former PhD student Clement Hurlin (now post doc at INRIA Bordeaux). We have a particular interest in thread-modular verification. This work is done in the context of the Mobius project.
    
  • Compositional specification and verification of programs with procedures. This work is done in collaboration with Irem Aktug,Dilian Gurov from KTH, Sweden and Christoph Sprenger.
    
  • JML: use and semantics. Particular interest in annotation generation to specify security protocols. Currently, I am working on this with Alejandro Tamalet. This work is done in the context of the Mobius project.

• Projects
  • Security by Logic for Multithreaded applications (SlaLoM)
  • COST Action on Formal Verification of Object-Oriented Software
  • Mobius (IP FET)

• Events
  • Specification and Verification of Component-Based Systems (SAVCBS 2009), a satellite workshop of ESEC/FSE 2009.

• PhD from Computing Science Institute, University of Nijmegen.
  Download my Ph.D. thesis, entitled Java program verification in Higher-order logic with PVS and Isabelle.
  It describes work on verification of Java programs which is done as part of the LOOP project.
  Supervisors: Henk Barendregt, Bart Jacobs and Hans Meijer

  
  

How to contact me?

Address:

University of Twente, Faculty EEMCS

P.O. Box 217

7500 AE Enschede

The Netherlands

Phone:

+31 53 489 46 62

Fax:

+31 53 489 32 47

Secretary:

+31 53 489 37 67

Or just send me an email...

Email:

Marieke.Huisman@ewi.utwente.nl