Short CV
Last updated: 11/12/08
Full CV available upon request.
Present position
Sjouke Mauw (1961) is full professor in "Security and Trust of Software Systems" at the University of Luxembourg in the Computer Science and Communications Research Unit. Until 1/1/07 he was associate professor (UHD) in computer science at the Eindhoven University of Technology, with a part time secondment as senior researcher at CWI (Center of Mathematics and Computer Science) in Amsterdam. He received his master's degree in Mathematics (1985) and his PhD degree in Computer Science (1991) from the University of Amsterdam. He graduated on the Ph.D. thesis PSF - A process specification formalism under the supervision of prof.dr. J.A. Bergstra and dr. J.C.M. Baeten.
Research
His research focuses on the application of formal methods in the area of information security. Keywords: security protocols, security assessment, privacy, attack trees, DRM, RFID, Trust. Sjouke Mauw has performed research in other areas, such as visual specification languages, concurrency theory, algebraic specification, term rewriting, domain specific languages, testing, distributed algorithms, internet applications. He was member of many scientific committees and organized a number of workshops.
Project experience
Sjouke Mauw has been involved in European projects since 1986 (Esprit: Meteor, Concur, Concur2). He was proposer, supervisor, and project member of several projects funded by Dutch government and industrial partners ( NWO, STW, Philips, KPN, ABN-AMRO, IPA, Telematics Institute). He was associate rapporteur for study group 10/Q9 of the ITU (International Telecommunication Union), where he supervised the standardization of the semantics of the MSC language.
Teaching
Sjouke Mauw has taught a wide range of computer science courses, such as: software engineering, automata theory, programming, programming languages, algebraic specification, term rewriting, specification languages, computer security, verification of security protocols. He has supervised many MSc. and several PhD. students. He was co-ordinator of the master program on Information Security Technology and was manager director of the post-graduate design program OOTI.
Publications
Sjouke Mauw has over 50 refereed publications. A complete list of publications is online available.
Former and current PhD students
- Jan Joris Vereijken (Dec. 1997, copromotor), Eindhoven University of Technology, Discrete Time Process Algebra.
- Michel Reniers (Jun. 1999, copromotor), Eindhoven University of Technology, Message Sequence Chart - Syntax and Semantics.
- André Engels (Apr. 2001, copromotor), Eindhoven University of Technology, Languages for Analysis and Testing of Event Sequences.
- Victor Bos (Mar. 2002, copromotor), Eindhoven University of Technology, Formal specification and analysis of industrial systems.
- Nicolae Goga (Oct. 2004, copromotor), Eindhoven University of Technology, Control and Selection Techniques for the Automated Testing of Reactive Systems.
- Harm van Beek (Jun. 2005, copromotor), Eindhoven University of Technology, Specification and Analysis of Internet Applications.
- Cas Cremers (Nov. 2006, copromotor), Eindhoven University of Technology, Scyther - Semantics and Verification of Security Protocols.
- Hugo Jonker (Aug. 2009, first promotor), Eindhoven University of Technology and Université du Luxembourg, Security Matters: Privacy in Voting and Fairness in Digital Exchange.
- Ton van Deursen (Sep. 2011, supervisor), Université du Luxembourg, Security of RFID protocols.
- Matthijs Melissen (Oct. 2013, supervisor), Université du Luxembourg, Game Theory and Logic for Non-repudiation Protocols and Attack Analysis.
- Tim Muller (Oct. 2013, supervisor), Université du Luxembourg, A Formal Analysis of Trust Operations - Trust Aggregation, Trust Chaining and Logical Trust Operations.
- Patrick Schweitzer (Nov. 2013, supervisor), Université du Luxembourg, Attack-Defense Trees.
- Naipeng Dong (Nov. 2013, supervisor), Université du Luxembourg, Enforced privacy: from practice to theory.
- Xihui Chen (expected Jul. 2014, supervisor), Université du Luxembourg.
- Yang Zhang (expected Nov. 2015, supervisor), Université du Luxembourg.