Università di Lugano. University of Lugano. Scegli la lingua. Choose the language.
Welcome to the University of Lugano. This web site has been developed with two content access modalities: visual and oral.
You are now browsing with the visual modality. If you are listening to the web site, you can change the modality and access the oral one, following the next link.
Access to the oral modality of the web site.
Jump to Navigation
Programming languages are a medium for specifying computation
precisely both to computers and to
Our faculty does work on programming language design, compilers, runtime systems, type systems, program verification, performance, static and dynamic analysis, and other areas.
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.
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 Sape, the Software and Programmer Efficiency Research Group.
Prof. Jazayeri is the founding dean of the Faculty of Informatics at USI. He is interested in programming, software engineering, programming languages, and distributed systems.
Prof. Nystrom's research interests focus on programming languages for safe, efficient, and extensible systems. He leads the Lugano Language Lab
Prof. Pozzi's 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.
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