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 Unviersiteit Nederland and associate professor (Universitair Hoofddocent)
at the Security of Systems Department
of the Institute for Computing and Information Sciences of the Faculty of
Science of the Radboud University Nijmegen. Since September 2007 I am appointed
as aspiring Principal Investigator within the Digital Security theme of that
institute.
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.
· 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: Secure Metering (1 postdoc), CHARTER (2 postdocs; CHARTER Artemis site), AHA (1 postdoc, 1 Ph.D.)
Ph.D. Students: Leonard Lensink, Alejandro Tamalet, Ken Madlener, Jantien Sessink, Luc Rutten.
M.Sc. Students: Bernard van Gastel, Rody Kersten, Rachid Ben Moussa, Henk van de Ridder.
B.Sc. Students: Xander Damen, Bert Gijsbers.
Invited
Conference steering committee chairs: Trends in Functional Programming,
Chairing from 2008 to 2012.
Conference chairs: Symposium on Trends in Functional
Programming 2006,
Programme committee chairs: Foundations and Practical Aspects of Resource Analysis 2009, Symposium on Trends in Functional Programming 2005,
September 23-24, 2005, Talinn, Estland;
co-located with ICFP 2005 and GPCE 2005.
Programme committee memberships: TFP2010 Oklahoma, FOPARA09, 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.
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: Sayed H. Haeri, M.Phil, Heriot-Watt University, Edinburgh, 2009; Karina Olmos, Ph.D., University of Utrecht, 2009.
Ph.D. Oppositions: 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 55 colleagues: Peter Achten, Artem Alimarine, Henk Barendregt, Erik Barendsen, Tom Brus, Andrew Butterfield, 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, Richard Kennaway, Ron van Kesteren, Martijn Klabbers, Pieter Koopman, Sebastian Kügler, Maarten van Leer, Leonard Lensink, Donna Metzlar, Maarten de Mol, Eric Nöcker, Betsy Pepels, Marco Pil, Rinus Plasmeijer, Erik Poll, Peter van Rossum, Teade Punter, Luc Rutten, Alexander Serebrenik, Pascal Serrarens, René Schreurs, Olha Shkaravska, Ronan Sleep, Erik Schierboom, Sjaak Smetsers, Jasper Stein, Alejandro Tamalet, Hendrik Tews,Yoshihito Toyama, Yaroslav Usenko, Marcus Völp, Wim Vree, Tjark Weber, Arjen van Weelden, 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