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.
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:
· Resource Consunption Analysis.This is research I am doing together with Olha Shkaravksa and Ron van Kesteren in the NWO – AHA project (since sept 1, 2006) and in the CHARTER project. 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.
· Secure ICT for Sustainability. There are substantial gains that can be achieved with Green ICT. Such gains may come with new risks. Both in reducing the energy consumption of ICT itself and in the use of ICT for reducing energy consumption risks can be easily introduced. Often these new risks are in the field of privacy and security. The challenge of introducing green ICT and addressing at the same time the new risksois invesitgated in the GoGreen project on Smart Homes, the Sentinels Secure Metering project on Smart Meters and Road Pricing and in the work of Carlos Montes Portela on Smart Grid Architectural Design. Recently, we started an initiative to increase the attention for Sustainable ICT and Energy research: SIENergyLab.
· 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
Running projects: GENOC (2010-2016, 1 Postdoc, 2 Ph.D.'s), GoGreen (2011-2015, 1 Ph.D.), Secure Metering (2009-2013, 1 postdoc), KVDB (2012-2016, 1. Ph.D.).
Ph.D. Students: Leonard Lensink (RU), Ken Madlener (RU), Rody Kersten (RU), Luc Rutten (RU), Bernard van Gastel (OU), Bas Joosten (OU), Arjan Lamers (OU), Carlos Montes Portela (OU), Jens Haag (OU), Sven Kiljan (OU).
2013: Roel van Rijswijck (RU).
2012: Thierry Stamper (RU), Nick Gubbels (RU), Mark Spreeuwenberg (RU), Bart Leusink (RU), Vincent Kool (RU), Marc Huygens (OU).
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: 2013: Ben Siebert, Sven van Valburg; 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 Expert Advice Council Memberships(11): Rubicon NWO Jury 2014, Committee for Research Grants IWT Brussel 2011,2012, Reviewer of the EU HiperDNO project 2011-2013, 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(1): Trends in Functional Programming Member since 2005. Chairing from 2008 to 2013. Re-elected as Chair in 2013, serving until 2017.
Conference chairs (6): CSERC2013, Nijmegen/Arnhem, ITP2011,
Nijmegen, CSERC2011, Heerlen, FOPARA2011 Madrid, Foundations and Practical Aspects of Resource Analysis (FOPARA2009),
Eindhoven 2009 part of FM2009, Symposium on Trends in Functional
Programme Committee Chairs (5): Computer Science Education Research Conference CSERC2012, Wroclaw Poland, 2012 part of FedCIS2012, ITP2011, Nijmegen, CSERC2011, Heerlen, 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 (4): Expert Committee for the EAPLS Ph.D. Award 2013, Expert Committee for the EAPLS Ph.D. Award 2012, Expert Committee for the EAPLS Ph.D. Award 2011, Expert Committee for the EAPLS Ph.D. Award 2010.
Programme Committee Memberships (23): FOPARA2013, Bertinoro, Italy; TPF2013, Utah, USA, CSERC2012, Wroclaw, Poland; 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.
(Co-)Promotorships (6): Promotorships: Leonard Lensink, Radboud University Nijmegen 2013, Freek Verbeek, Radboud University Nijmegen 2013, Alejandro Néstor Tamalet, Radboud University Nijmegen 2011. Copromotorships: Maarten de Mol, Radboud University Nijmegen, 2009; Pascal Serrarens, Radboud University Nijmegen, 2001; Marco Kesseler, Radboud University Nijmegen, 1996.
Postgraduate Research Examination Committees (8): Linda Marshall, Ph.D. University of Pretoria 2014, Harrie Passier, Ph.D., Open University of the Netherlands 2013; Diego Esteban Alonso, Ph.D., Universidad Complutense Madrid 2013; Alex Gerdes, Ph.D., Open University of the Netherlands 2012; Manuel Montenegro, International Ph.D., Universidad Complutense Madrid, 2011; Henk van der Schuur, Ph.D., 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 (20): Harrie Passier, Open University of the Netherlands 2013; Alex Gerdes, Open University of the Netherlands 2012; Markus Pscheidt, Radboud University Nijmegen 2012; Thomas van Noort, Radboud University Nijmegen 2012; Manuel Montenegro, Universidad Complutense Madrid, 2011; Henk van der Schuur, Universiteit Utrecht, 2011; Jan-Martin Jansen, Radboud University Nijmegen 2010; Karina Olmos, Ph.D., University of Utrecht, 2009; 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 scientific, technical and popular publications with the following 83 colleagues: Peter Achten, Artem Alimarine, Henk Barendregt, Erik Barendsen, Tom Brus, Willem Burgers, Andrew Butterfield, Anda Counotte-Potman, Malcolm Dowse, Jeroen Fokker, Bernard van Gastel, Piet Geelen, Herman Geuvers, John Glauert, Attila Gobi, Eric Goubault, Perry Groot, Adriaan de Groot, Jens Haag, Chris Hankin, Pieter Hartel, Petra Heck, Bastiaan Heeren, Bob Hertzberger, Stefan ten Hoedt, Walter de Hoon, Bart Jacobs, Erik de Jong, Stefan Karsch, Rody Kersten, Richard Kennaway, Ron van Kesteren, Martijn Klabbers, Paul Klint, Pieter Koopman, Sebastian Kügler, Arjan Lamers, Maarten van Leer, Rutger Leukfeldt, 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, Julien Schmalz, René Schreurs, Olha Shkaravska, Marleen Sint, Ronan Sleep, Peter Sloep, Erik Schierboom, Theo Schouten, Sjaak Smetsers, Jasper Stein, Sylvia Stuurman, Alejandro Tamalet, Hendrik Tews, Theo Thiadens, Paolo Parisen Toldin, Jan Tretmans, Yoshihito Toyama, Yaroslav Usenko, Gerrit van der Veer, Roel Verdult, Marcus Völp, Harald Vranken,Wim Vree, Jan Vytopil, Tjark Weber, Arjen van Weelden, Freek Wiedijk, 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 Netherlands.