Eelco Visser

Full Professor of Computer Science at TU Delft | Chair Programming Languages Group | Antoni van Leeuwenhoek Professor

News

Archive

Open Positions

  • I have an opening for a PhD student in software language engineering

  • Postdoc candidates: contact me if you are interested in submitting a proposal to the LEaDing Fellows program for Marie Curie postdoc positions; next deadline is December 31, 2017

  • I am looking for student programmers

If you would be interested in working with me, send me an email (but read this first).

Coordinates

Full contact information

a PL group meeting

Research

I lead the Software Language Design and Engineering research program. Our mission is to enable software engineers to effectively design, implement, and apply domain-specific languages. We are doing research in three tracks:

  • Language engineering: investigate the automatic derivation of efficient, scalable, incremental compilers and usable IDEs from high-level, declarative language definitions

  • Semantics engineering: investigate the automatic verification of the consistency of language definitions in order to check properties such as type soundness and semantics preservation

  • Language design: investigate the systematic design of domain-specific software languages with an optimal tradeoff between expressivity, completeness, portability, coverage, and maintainability.

Research overview

Projects

Untitled

Project overview

Recommended Publications

p95-visser-crop

Name binding

Dynamic semantics

Integrated development environments

Transformation and analysis

Syntax definition and parsing

Language composition

Programming with relations

Abstractions for web programming

More publications

Current Activities

All my professional activities | Presentations

Quote

MetaBorg provides generic technology for allowing a host language (collective) to incorporate and assimilate external domains (cultures) in order to strengthen itself. The ease of implementing embeddings makes resistance futile.

From Concrete syntax for objects