Programming Languages and Software Engineering
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