Prof.dr. E. (Eelco) Visser

profile

Biography

Eelco Visser is Antoni van Leeuwenhoek Professor of Computer Science at Delft University of Technology. He received an MSc and Doctorate in Computer Science from the University of Amsterdam in 1993 and 1997, respectively. Previously he served as a Postdoc at the Oregon Graduate Institute from 1997 to 1998, as Assistant Professor at Utrecht University from 1998 to 2006, and as Associate Professor at TU Delft from 2006 to 2013.

Visser has published over 100 publications in conferences and journals. His research includes contributions to declarative syntax definition and parsing (SDF/SGLR), high-level definition of program transformations ( Stratego), language workbenches ( Spoofax), modular language definition, domain-specific languages for web programming ( WebDSL/ mobl), and declarative models for (distributed) software deployment ( Nix). He is project leader of the NWO (Jacquard) projects TraCE, TFA, MoDSE, and PDS, which have produced several open source software systems used in research and industry. In 2013 he received the prestigious NWO VICI grant for research into verification of language definitions.

Visser is an active member of the programming languages community and has served on many program committees of the important conferences in the field including OOPSLA, ECOOP, MODELS, SLE, and GPCE. Recently he was general chair of the ACM International Conference on Generative Programming and Component Engineering (GPCE 2010), and program chair of the International Conference on Model Transformation (ICMT 2011) and of Onward! 2011. He is member of the steering committees of SPLASH, Onward!, ICMT, and GPCE, and chairs the latter. He is founding member of the IFIP Working Groups 2.11 (Program Generation) and 2.16 (Language Design), and he serves as chair of the latter.

publications
Publications in Pure
subjects
2007 - Principles of Programming Languages
2009 - Model-Driven Software Development
2009 - Principles of Programming Languages
2007 - Program Transformation & Generation
2008 - Model-Driven Software Development
2008 - Principles of Programming Languages
2008 - Seminar Metaprogramming
2009 - Seminar Metaprogramming
2010 - Model-Driven Software Development
2010 - Seminar Metaprogramming
2010 - Concepten van Programmeertalen
2010 - Principles of Programming Languages
2010 - Compiler Construction
2011 - Concepten van Programmeertalen
2011 - Compiler Construction
2011 - Seminar Metaprogramming
2011 - Model-Driven Software Development
2014 - Language Engineering Project
2014 - Compiler Construction
2014 - Seminar Metaprogramming
2012 - Concepten van Programmeertalen
2012 - Compiler Construction
2012 - Seminar Metaprogramming
2012 - Model-Driven Software Development
2013 - Compiler Construction
2013 - Concepten van Programmeertalen
2014 - Concept of Programming Languages
2013 - Seminar Metaprogramming
2013 - Model-Driven Software Development
2016 - Seminar Programming Languages
2016 - Compiler Construction
2015 - Compiler Construction
2015 - Software Security
2015 - Language Engineering Project
2015 - Concept of Programming Languages
2018 - Dynamic and Static Program Analysis for Software Security
2016 - Dynamic and Static Program Analysis for Software Security
2018 - Language Engineering Project
2018 - Seminar Programming Languages
2018 - Compiler Construction A
2018 - Compiler Construction B
2018 - Concept of Programming Languages
2017 - Concept of Programming Languages
2017 - Compiler Construction
2017 - Dynamic and Static Program Analysis for Software Security
2017 - Language Engineering Project
2017 - Seminar Programming Languages
2016 - Concept of Programming Languages
2016 - Language Engineering Project
2019 - Concepts of Programming Languages
2020 - Seminar Programming Languages
2019 - Seminar Programming Languages
2019 - Compiler Construction A
2019 - Compiler Construction B
2019 - Software Verification
2019 - Software Verification
2019 - Language Engineering Project
2018 - Software Verification
2019 - Dynamic and Static Program Analysis for Software Security
2018 - Software Verification
2020 - System Validation
2020 - Functional Programming
2020 - Concepts of Programming Languages
2020 - Compiler Construction A
2020 - Compiler Construction B
2020 - Software Verification
2020 - Software Verification
2020 - Language Engineering Project
2020 - Web Programming Languages
2020 - Language-Based Software Security