Programming Languages and Software Engineering

Main content

Current and former members of ETH's Computer Science Department have developed Pascal, Modula-2, Oberon and Eiffel - programming languages that have achieved worldwide recognition and impact. Research in this area ranges from theoretical underpinnings to practical tools supporting today's ambitious software projects.

Topics of particular attention include: programming methodology for high-quality software development, especially in the difficult case of concurrent programs; improving software reliability and security by developing techniques and tools for program analysis, synthesis, verification and testing; and understanding and improving software performance through novel optimization, synthesis and parallelization techniques.

Areas of research

compilers, domain-specific languages, concurrency, formal methods, performance optimization, program analysis, program generation, program synthesis, testing, tools, verification

Computer science professor David Basin

David Basin
Professor


Website
More details

methods and tools for modeling, building, and validating secure and reliable systems, protocols and applications

Computer science professor Thomas Gross

Thomas Gross
Professor


Website
More details

compilers, software tools for parallel and object-oriented programming, visible light networks, virtual machines

line
Computer science professor Torsten Hoefler

Torsten Hoefler
Assistant Professor


Website
More details

high-performance computing, performance modeling, parallel programming, network topologies, runtime environments

Computer science professor Peter Müller

Peter Müller
Professor


Website
More details

program verification, static program analysis, type systems, testing, formal methods, tools

line
Computer science professor Markus Püschel

Markus Püschel
Professor


Website
More details

program generation, performance optimization, domain-specific languages, FPGAs, parallel computing, signal processing

Computer science professor Martin Vechev

Martin Vechev
Assistant Professor


Website
More details

program analysis, program synthesis, application of machine learning to programming languages, concurrency

line
 
Page URL: https://www.inf.ethz.ch/research/programming-languages-software-engineering.html
24.03.2017
© 2017 Eidgenössische Technische Hochschule Zürich