Personal Research Page of Marko van Eekelen, formally Prof.dr. M.C.J.D. van Eekelen (Foto made by Dick van Aalst), professor SoftwareTechnology at the Open
Universiteit Nederland and associate professor (Universitair
Hoofddocent) at the Security of Systems Department of the
Institute for Computing and Information Sciences (iCIS) of the Faculty of
Science of the Radboud University Nijmegen. In September 2007 I was appointed
as aspiring Principal Investigator within the Digital Security section of iCIS.
In January 2011 the iCIS institute decided not to have aspiring Principal
Investigators anymore.
Publications: My research is, of course, accessible
through the list of
publications. It is my goal to address security and correctness issues by
software analysis in such a way that both fundamental and practical results are
achieved. The software that is studied can be written both in functional, an
imperative style, an object-oriented style or any other style. In fact, I
consider any specification or design that has the property that it is
executable, to be software and hence it can be subject of this research.
Recent Research Topics on Software Analysis:
· Heap Space Consumption estimates using amortization techniques together with Olha Shkaravksa and Ron van Kesteren in the NWO – AHA project (since sept 1, 2006). A good estimate of heap consumption is important for security reasons since it may help to avoid Denial of Service (DoS) attacks. We created a separate site with resource consumption research results.
· Formal Modelling of Industrial Applications. I have been working on model checking properties with mCrl2 (a case from Aia with Yaroslav Usenko) and on proving properties with PVS (a case from Cybernetix with Sjaak Smetsers and Leonard Lensink). The techniques are essentially combined in the work with Bernard van Gastel, Sjaak Smetsers and Leonard Lensink on the readers-writers Qt library of TrollTech. The results are published in FMICS 2007 (2 papers), FMICS 2008 (1 paper, best paper award) and FMICS2009 (1 paper).
·
Reasoning about Programs written in a
Functional Programming Language. There
are two strands within this subject: Specification
and Compositional Reasoning for Functional Graphical Editor Components. See the GEC-site. and Proving Properties of Functional
Programs. Sparkle is
the integrated proof tool for the functional
programming language Clean. I have made a Sparkle
site with links to Sparkle info and with the very
latest Sparkle version
with which I/O proofs have been made. This I/O work was done with Malcolm Dowse
from
I have also done Sparkle independent work on formal reasoning with strictness
in a lazy context using mixed lazy/strict
semantics.
Running projects: GoGreen (1 Ph.D.), Secure Metering (1 postdoc), CHARTER (2 postdocs; CHARTER Artemis site), AHA (1 postdoc, 1 Ph.D.)
Ph.D. Students: Leonard Lensink (RU), Ken Madlener (RU),
Rody Kersten (RU), Luc Rutten (RU), Freek Verbeek (RU/OU), Bernard van Gastel
(OU), Bas Joosten (OU), Arjan Lamers (OU), Carlos Montes Portela (OU), Jens
Haag (OU).
M.Sc. Students:
2012: Bram Vonk (RU), Thierry Stamper (RU), Nick Gubbels (RU), Mark Spreeuwenberg (RU), Roel van Rijswijk (RU), Bart Leusink (RU), Vincent Kool (RU).
2011: Rachid Ben Moussa (RU),
Carlos Montes Portela (OU), Jan Hoeve (OU), Gert Kiewiet (OU).
2010: Bernard van Gastel (RU),
Rody Kersten (RU), Hans van Bijnen (RU), Henk van de Ridder (OU)
.
B.Sc. Students:
2012: Manu Drijvers (RU), Xander Damen (RU), 2011: Gert van der Kaaden (OU), Eddy Spreeuwers (OU),
Maarten Snels (OU), 2010: Bert Gijsbers (OU).
Invited
Invited Expert Advise Council Memberships: Committe for Research Grants IWT Brussel, NWO Open Competition Jury 2010-2011, IIP Sustainable ICT 2009-.., IIP ProductSoftware 2010-..., EU FP7 ICT & Energy Expert Reviewer 2011-2013, Smart Metering Consultation Committee KEMA 2009-2010, Smart Metering Consultation Committee TNO 2009-2010, Smart Metering Round Table Netbeheer 2009-2011, STW Open Technology Program Jury 2008.
Conference steering committee chairs: Trends in Functional
Programming 2005-..., Chairing from 2008 to 2012.
Conference chairs: ITP2011,
Nijmegen, CSERC2011, Heerlen, Symposium on Trends in Functional
Programming 2006,
Programme committee chairs: Foundations and Practical Aspects of
Resource Analysis, Eindhoven 2009 part of FM2009, Symposium on Trends in Functional
Programming 2005, September 23-24, 2005, Talinn,
Estland; co-located with ICFP 2005 and GPCE 2005.
Award Committee Memberships: Expert Committee for the EAPLS Ph.D. Award 2011, Expert Committee for the EAPLS Ph.D. Award 2010,
Programme committee memberships: TFP2012, St. Andrews, Scotland, ICSOB 2012, MIT, Cambridge, USA, ITP2011, Nijmegen, CSERC2011, Heerlen, FOPARA2011 Madrid, TFP2011 Madrid, ICSOB2011 Brussels, TFP2010 Oklahoma, FOPARA09 Eindhoven, TFP09 Komarno; TERMGRAPH’09 York; IFL08 Hertfordshire; TFP07 New York; TFP06 Nottingham; TFP05 Tallinn, TFP04 München; IFL02 Madrid; IFL00 Aachen; IFL98 London; IFL96 Bonn.
Promotorships: Alejandro Néstor Tamalet, Radboud University Nijmegen 2011.
Co-promotorships: Maarten de Mol, Radboud
University Nijmegen, 2009; Pascal Serrarens, Radboud University Nijmegen, 2001; Marco Kesseler, Radboud University Nijmegen, 1996.
Postgraduate Research Examination Committees: Manuel Montenegro, Universidad Complutense Madrid, 2011; Henk van der Schuur, University of Utrecht 2011, Sayed H. Haeri, M.Phil, Heriot-Watt University, Edinburgh, 2009; Karina Olmos, Ph.D., University of Utrecht, 2009.
Ph.D. Oppositions: Manuel Montenegro, Universidad Complutense Madrid,
2011; Henk van der Schuur, Universiteit Utrecht, 2011; Jan-Martin Jansen,
Radboud University Nijmegen 2010; Russel O'Connor (Cum Laude), Radboud
University Nijmegen 2009; Joachim van den Berg, Radboud
University Nijmegen, 2009; Adriaan de
Groot, Radboud University Nijmegen, 2008; Arjen van Weelden, Radboud
University Nijmegen, 2007; Martijn
Warnier, Radboud University Nijmegen, 2006; Cees-Bart Breunesse, Radboud
University Nijmegen, 2006; Artem
Alimarine, Radboud University Nijmegen, 2005; Peter Achten, Radboud University
Nijmegen, 1996; Jasper Kamperman,
University of Amsterdam, 1996; Eric Nöcker, Radboud
University Nijmegen, 1994; Sjaak Smetsers, Radboud University Nijmegen,
1993; Pieter Koopman, Radboud University Nijmegen,
1990.
Co-authors: Over the years I have co-authored publications
with the following 67 colleagues: Peter Achten, Artem Alimarine, Henk
Barendregt, Erik Barendsen, Tom Brus, Andrew Butterfield,
Anda Counotte-Potman, Malcolm Dowse, Jeroen
Fokker, Bernard van Gastel, Piet Geelen, John
Glauert, Eric
Goubault, Perry Groot, Adriaan de Groot, Chris Hankin, Pieter
Hartel, Petra Heck, Bob Hertzberger,
Stefan ten Hoedt, Walter de Hoon, Bart Jacobs, Rody Kersten, Richard
Kennaway, Ron van Kesteren, Martijn Klabbers, Pieter
Koopman, Sebastian Kügler, Maarten van Leer, Leonard Lensink, Donna Metzlar, Ken Madlener, Maarten
de Mol, Manuel Montenegro, Marco Morazán, Eric Nöcker, Ricardo Peńa, Betsy Pepels, Marco Pil, Rinus Plasmeijer, Erik Poll, Teade Punter,
Peter van Rossum, Luc Rutten, Alexander Serebrenik,
Pascal Serrarens,
René Schreurs, Olha Shkaravska, Ronan
Sleep, Peter Sloep, Erik Schierboom, Theo Schouten, Sjaak Smetsers, Jasper Stein, Alejandro Tamalet, Hendrik Tews, Jan Tretmans, Yoshihito Toyama, Yaroslav Usenko, Gerrit van der Veer, Marcus Völp, Wim Vree, Jan Vytopil, Tjark Weber, Arjen van
Weelden, Tim Willemse, Thorsten
Zörner.
·
Email: M.vanEekelen@cs.ru.nl
· Tel: +31 24 3653410
· Room: HG02.074
·
Post: Section
Digital Security, Faculty of Science, Postbus 9010, 6500 GL Nijmegen,
The