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.
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.
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.