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), Martin
Oberscheven (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: Willem Burgers (RU), 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: Committee for Research Grants IWT Brussel 2011, 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,
Promotorships: Alejandro Néstor Tamalet, Radboud University Nijmegen 2011.