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 | biggest hits

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