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.

Als je geïnteresseerd bent in een populair wetenschappelijke uitwijding over een deel van mijn onderzoek, Verificatie van Safety-critical Systems, kijk dan op 'De Universiteit van Nederland' (in Dutch).

Recent Research Topics on Software Analysis:

·         Resource Consumption 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, including energy consumption analysis for ICT-controlled systems.

·        Green 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 risks is investigated 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.

·         Formal Modelling. There are two strands: industrial applications and functional languages. For industry 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). With respect to functional languages I worked on specification and compositional reasoning for functional graphical editor components (see the GEC-site) and on 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 Dublin College when he was visiting Nijmegen in 2003. I have also done Sparkle independent work on formal reasoning with strictness in a lazy context using mixed lazy/strict semantics.

Running projects: Dagobert 2017-2019, Sovereign STW (2016-2020 1 postdoc, 2 Ph.D.), CERCIRAS EU Cost Action 2020-2024.

Recent projects: KVDB (2012-2017, 1. Ph.D.), COMMIT P07 Swell: User-centric reasoning for well-working (2013-2017), Member of the EU TACLE Cost Action (2012-2016), EuroMils (2012-2016), GENOC (2010-2016, 1 Postdoc, 2 Ph.D.'s), GoGreen (2011-2015, 1 Ph.D. IOP Gencom), Elven (2011-2015, 1 Ph.D. NWO), CHARTER (2009-2012; 2 postdocs; CHARTER Artemis site), AHA (2007-2011, 1 postdoc, 1 Ph.D.), Secure Metering (2009-2013, 1 postdoc), GoGreen (2011-2015, 1 Ph.D.), Robin (2006-2008). Some projects in the previous century: Concurrent Clean, SemaGraph I and II, Dutch Parallel Reduction Machine project (1984-1987).

(Co-)Promotorships (13, at 3 different universities):
Promotorships (10): Jens Haag Open University of the Netherlands, Sven Kiljan Open University of the Netherlands 2017, Bernard van Gastel, Open University of the Netherlands 2016, Bas Joosten, Technical University Eindhoven, February 2016, Rody Kersten, Radboud University 2015, Sylvia Stuurman, Open University of the Netherlands 2015, Ken Madlener, Radboud University Nijmegen 2014, Leonard Lensink, Radboud University Nijmegen 2013, Freek Verbeek, Radboud University Nijmegen 2013, Alejandro Néstor Tamalet, Radboud University Nijmegen 2011.Copromotorships (3): Maarten de Mol, Radboud University Nijmegen, 2009; Pascal Serrarens, Radboud University Nijmegen, 2001; Marco Kesseler, Radboud University Nijmegen, 1996.

Postgraduate Research Examination Committees (16, at 7 different universities): Laura Benvenuti, Ph.D. Open University of the Netherlands 2019, Brigit van Loggem, Ph.D. Open University of the Netherlands 2017; Erik Jagroep, Utrecht University 2017; Georgios Plataniotis,Ph.D. Radboud University & Universiteit Antwerpen, 2017; Roland W. Ettema, Ph.D. Radboud University 2016 (Doctoral Thesis Examination Committee Chair); Diego Alejandro Ortiz-Yepes, Ph.D. Radboud University 2016; Jeroen Bransen, Ph.D. Utrecht, 2015; Gerard Michels, Ph.D., Open University of the Netherlands, 2015; Diego Esteban Alonso, Ph.D., Universidad Complutense Madrid 2014; Daniel Kuhlwein, Ph.D. Radboud University Nijmegen 2014 (Doctoral Thesis Examination Committee Chair), Linda Marshall, Ph.D.,University of Pretoria 2014, Harrie Passier, Ph.D., Open University of the Netherlands 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. Students: Arjan Lamers (OU), Vreda Pieterse (OU), Vincent van der Meer (OU), Raphael Butz (OU), Benjamin Krumnow (OU), Ed van Doorn (OU), Koen Weterings (OU), Andreas Schuderer (OU), Marc Schoolderman (RU).

M.Sc. Students:

2020: Martijn van der Wart (OU), Jan Krabbenbos (OU)

2019: Yannick van Santvoort (RU), Sesaria Kikitamara (RU)

2018: Jacco Riswick (RU), Bereddin Ghazal (RU)

2017: Stan Philipsen (RU)

2016: Josh van Dalen, Laurens van Dijk, Ed van Doorn (OU)

2015: Ennier Kelly, Joeri Arendsen, Nikos Makris (RU), Reinier Beeckman, Jos van Roosmalen, Jacob Merkus (OU)

2014: John Willems (OU), Patrick Molijn (OU), Reinier Beeckman (OU), Kevin Reintjes (RU), Bruno van Hoek (RU), Ben Siebert (RU), Joël Cox (RU), Achilleas Buisman (RU), Ennier Kelly (RU), Stijn Keijzers (RU).

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: 2014: Roel Top (RU), Patrick Verleg (RU) , Jory van Keulen (RU); 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).

Recent Invited Scientific Lectures (10): Formal Methods can help saving the world, Lorentz Workshop Leiden A Research agenda for formal methods in the Netherlands; Static energy consumption analysis for software controlled systems, Seminar Inaugural Lecture Prof. Marieke Huisman, University of Twente 2018; Sustainability: From grey to green software products 2017 Symposium, Utrecht University; Dagstuhl Seminar 17291, Resource Bound Analysis 2017; ICT.OPEN 2015, IPA Track Amersfoort; EACO 2015, Bristol, U.K; An Innovative Truth 2013, Utrecht; International Workshop on Developments in Implicit Computational Complexity (DICE 2013), part of ETAPS; ICT-Delta WTC Rotterdam ICT-Delta 2012; Seminario Departamento de Sistemas Informáticos y Computación, Facultad de Informática, Universidad Complutense de Madrid 2011.

Invited Ph.D. School Lectures (8): IPA 2017 Fall days on System and Software Analysis; IC COST Action IC1202 TACLe Ph.D. School Yspertla Austria l (2016); Institute for Programming research and Algorithmics (IPA) Software Engineering and Technology Course (2013); Scottish Informatics and Computer Science Alliance (SICSA) Summer School on Advances in Programming Languages (ISS-AiPL2009) (2009); Institute for Programming research and Algorithmics (IPA) Software Analysis Course, (2008); Central European Summer School on Functional Programming (CEFP2007) (2007); Institute for Programming research and Algorithmics (IPA) Software Technology Course (1998); International Spring School on Advanced Functional Programming Techniques AFP1995 (1995).

Invited Expert Advice Council Memberships(12): HTSM2016 Jury STW, Rubicon NWO Jury 2014 (3 calls), 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 (2): Trends in Functional Programming Member since 2005. Chairing from 2008 to 2013. Re-elected as Chair in 2013, served until 2017; Computer Science Education Resarch Conference (CSERC).

Conference chairs (8): RAC2016, ETAPS Eindhoven; FOPARA2015, ETAPS London; 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 Programming 2006, Nottingham, UK , co-located with TYPES2006.

Programme Committee Chairs (9): CSERC18, St. Petersburg; CSERC2017, Helsinki, Finland; CSERC2016, Pretoria, South Africa; RAC2016, at ETAPS in Eindhoven; FOPARA2015, at ETAPS in London; 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; TFP2005 Symposium on Trends in Functional Programming 2005, September 23-24, 2005, Talinn, Estland; co-located with ICFP 2005 and GPCE 2005.

Award Committee Memberships (8):Expert Committee for the EAPLS Ph.D. Award EP18, Expert Committee for the EAPLS Ph.D. Award 2016/2017, Expert Committee for the EAPLS Ph.D. Award 2015, Expert Committee for the EAPLS Ph.D. Award 2014, 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 (38): TFPIE 2020 (Trends in Functional Programming In Education 2020), ATEST2019, SACLA2019, CSERC2019, A-TEST2018, SACLA2018; ATEST2017; DICE-FOPARA2017; SACLA2017; VECoS2017; SIGCSE2017; A-TEST2016; SRC2015; FOPARA2015, London; CSERC2014, Berlin, Germany; FOPARA2013, Bertinoro, Italy; TFP2013, 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.

Ph.D. Opposition Committee (41, at 9 different universities): Jikke van Wijnen Open University (Rector) 2020, Manxia Liu, Radboud University 2018, Paul Fiterau-Brostean, Radboud University 2018 (Rector); Rick Smetsers, Radboud Unversity 2018 (Rector); Jurrien Stutterheim, Radboud University 2017; Erik Jagroep, Utrecht University 2017; Brigit van Loggem, Open University of the Netherlands 2017; Georgios Plataniotis, Radboud University/Universiteit Antwerpen, 2017 (Rector); Roland Ettema, Radboud University 2016, Diego Alejandro Ortiz-Yepes, Radboud University 2016; Sung-Shik Jongmans (cum laude), Leiden University 2016; Bas Joosten, Ph.D. Eindhoven University of Technology 2016; Robbert Krebbers, Ph.D. Radboud University 2015; Jeroen Bransen, Ph.D. Utrecht, 2015; Gerard Michels, Ph.D., Open University of the Netherlands, 2015; Roel Verdult, Ph.D. Radboud University 2015; Diego Esteban Alonso, Ph.D., Universidad Complutense Madrid 2014; Daniel Kuhlwein, Radboud University Nijmegen, 2014; Pim Vullers, Radboud University Nijmegen, 2014 (Rector); Linda Marshall, Ph.D. University of Pretoria, 2014; 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 86 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, Sven Kiljan, 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:       Mercator 1, M1.03.05.

·         Post:          Digital Security, Faculty of Science, Postbus 9010, 6500 GL Nijmegen, The Netherlands.