Marieke Huisman Research Contact information

What do I do?

• Associate 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 data structures, together with Afshin Amighi, Stefan Blom, Marina Zaharieva, and my former PhD student Clement Hurlin (now at IRISA, France). We use a variant of permission-based separation logic to reason about multithreaded programs. This work is done in the context of the VerCors project. This worked was started in th context of the Mobius project, when also Christian Haack was involved in this work.
  • Compositional specification and verification of programs with procedures. This work is done in collaboration with Dilian Gurov, Siavash Soleimanifard and Pedro de Carvalho Gomes. from KTH, Sweden.
    Irem Aktug and Christoph Sprenger also have been involved in this project.
  • Security by Logic: Model Checking of Security Properties for Multithreaded Programs. We study the specification and verification of confidentiality, integrity and availability for multithreaded programs. This work is done in collaboration with Ngo Minh Tri in the context of the SlaLoM project.
  • JML: use and semantics. Particular interest in annotation generation to specify security protocols. I have been working on this with Alejandro Tamalet.

• Projects
  • Correct and Efficient Accelerator Programs (CARP) (EU Strep project, starting December 2011)
  • Verification of Concurrent Data Structures (VerCors) (ERC Starting Grant, 2011 - 2016)
  • Security by Logic for Multithreaded applications (SlaLoM) (NWO Free Competition, 2010 - 2014)
  • COST Action on Formal Verification of Object-Oriented Software
  • Mobius (IP FET, finished)

• Events
  • Bytecode 2012, a satellite workshop of Etaps 2012
  • Verification, Model Checking, and Abstract Interpretation (VMCAI 2012).
  • FoVeOos 2011.

• 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 sequential Java programs which is done as part of the LOOP project.
  Supervisors: Henk Barendregt, Bart Jacobs and Hans Meijer

• Teaching
  • Programmeren 1 (1st year Bachelor, in Dutch, together with Luís Ferreira Pires)
  • Programmeren 2 (1st year Bachelor, in Dutch, together with Luís Ferreira Pires)
  • Concurrent and Distributed Programming (3rd year Bachelor, in Dutch, together with Jaco van de Pol)
  • Program Verification (Master, together with Arend Rensink)
  • System Validation (Master, together with Stefan Blom)
  • Tutor of a group of first year students
  • Programme mentor for Master specialisation MTV and the graduate school program DeSC

  ---

  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

  ---