Marieke Huisman Research Teaching Contact information

• Professor in Software Reliability, leading the FMT (Formal Methods and Tools) Group at the University of Twente.
• Research on reliability and correctness of concurrent and distributed software. Try out our verification techniques using the VerCors tool set.
  
• Lecturer in the Computer Science department of the University of Twente, teaching (concurrent) programming, the use of formal methods, and program verification.
• Chair of the Informatics Board of the Lorentz Center in Leiden.
• Chair of the Dutch National Association for Software Engineering VERSEN.
• President of the ETAPS assocation, running the ETAPS conferences.
• Winner of the Netherlands Prize for ICT Research 2013, worth 50,000 euros. The ICT Prize is a unique prize for a scientist, aged 40 years or younger, who carries out innovative research or is responsible for a scientific breakthrough in ICT.

Research

• Topics:
  • Program verification
  • Reliability of concurrent, parallel and distributed applications
  • Software specification
  • Formal methods
  
  
• Publications

• In the press
• Ongoing projects:
  • NWO TTW OTP project Cheops, with Ömer Şakar, Lars van den Haak, and Anton Wijs.
  • NWO VICI project Mercedes: Maximal reliability of concurrent and distributed software, with Mohsen Safari, Raúl Monti, Sophie Lathouwers, Bob Rubbens, Lukas Armborst and Petra van den Bos.
  • JML: use and semantics. , with Wolfgang Ahrendt, David Cok, Nikolai Kosmatov, Mattias Ulbrich and others in the JML community.
  
  
• Finished projects:
  • NWO TOP project VerDi: Verification of distributed software, with Wytse Oortwijn.
  • NIRICT Reconnaissance Topic: Performance and Correctness of GPGPU Applications
  • NIRICT community funding: the Beauty and Joy of Computing in Dutch
  • ESF COST Action ARVI: Runtime Verification beyond Monitoring
  • 3TU.NIRICT project 3TU.BSR: Monitoring concurrent software
  • ERC Starting Grant VerCors: Verification of concurrent data structures, with Afshin Amighi, Stefan Blom, Wojciech Mostowski, Marina Zaharieva-Stojanovski.
  • CARP project: Verification of GPGPU programs with Saeed Darabi, and Stefan Blom.
  • Mobius project, with Clément Hurlin and Christian Haack.
  • Liveness and non-blocking properties of programs, with Dilian Gurov, Marina Zaharieva-Stojanovski, and Pedro de Carvalho Gomes.
  • Compositional specification and verification of programs with procedures, with Dilian Gurov, Irem Aktug, Siavash Soleimanifard, Pedro de Carvalho Gomes and Christoph Sprenger.
  • SlaLoM: Security by Logic: Model Checking of Security Properties for Multithreaded Programs, with Ngo Minh Tri.
  • Persistent Functional Databases, with Lesley Wevers and Maurice van Keulen.
  
  
• PhD thesis
  Obtained 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

• Courses
  • Software systems (1st year Bachelor)
  • Concurrent Programming within the module Programming Paradigms (2nd year Bachelor)
  • System Validation (Master)
  • Software Science (topic: program verification) (Master) - every 2nd year

Contact

Address:

University of Twente, Faculty EEMCS

Formal Methods and Tools

Building Zilverling, room 3055

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:

M.Huisman@utwente.nl