2Z5B4733c

Antoni van Leeuwenhoek Professor of Computer Science at TU Delft

Symposium: The Future of Programming

On Thursday January 16 and Friday January 17 2014, TU Delft hosts a symposium on the future of programming with national and international speakers including Arie van Deursen, Brandon Hill, Erik Meijer, Guido Wachsmuth, Harry Buhrman, John Hughes, Manuel Serrano, Markus Püschel, Markus Völter, Sebastian Erdweg, Stefan Hanenberg, and Tiark Rompf. The symposium is followed by the inaugural speech of Eelco Visser on the occasion of his appointment as full professor at TU Delft.

More information

News

Archive | Open positions

Coordinates

Full contact information

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

Syntax definition and parsing

Language composition

Untitled

Transformation and analysis

Integrated development environments

Abstractions for web programming

More publications

Current Activities

GPCE2013

All my professional activities

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