Programming Languages
Programming languages are a medium for specifying computation precisely both to computers and to other people. Our faculty does work on programming language design, compilers, runtime systems, type systems, program verification, performance, static and dynamic analysis, and other areas.
Walter Binder
Prof. Binder founded the Dynamic Analysis Group. His research interests include dynamic program analysis, concurrent and parallel programming, aspect-oriented programming, virtual machines, service-oriented computing, and cloud computing.
Patrick Thomas Eugster
Prof. Eugster is interested in software systems, with a particular focus on distributed systems and programming models/languages, and the intersection between the two. He has co-authored over 120 scientific articles on these topics. His research has been awarded by various funding agencies and companies.
Carlo A. Furia
Prof. Furia's research interests center around developing rigorous techniques and tools to analyze and improve the quality, correctness, and reliability of software and systems, with a focus on practical and realistically applicable results.
Matthias Hauswirth
Prof. Hauswirth's interests lie in the area between programming languages, runtime systems, and software engineering, with a focus on the efficiency of software, its users, and its developers. Prof. Hauswirth leads the Lugano Computing Education Research Lab (LuCE).
Laura Pozzi
Prof. Pozzi is interested in the interaction between compiler and architecture design in the field of embedded systems. Her research mostly revolves around the automation of embedded processor customization and the definition of innovative configurable fabrics.
Natasha Sharygina
Prof. Sharygina's research interests are in software and hardware verification (e.g., model-checking, abstract interpretation, decision procedures, satisfiability modulo theories - SMT), information security, and concurrent and distributed computing. She heads the Formal Verification and Security Lab.
