Software Engineering and Programming Languages

Mattia Fazzini headshot
acmes SIGPLAN award screen from Zoom
Mattia Fazzini at Facebook conference

Research in this area focuses on the design of new formalisms and frameworks to improve the quality of software. Software is a solution to a computational problem using a formal programming language. The constructs of the language and the tools available to model, implement, and test a software system influence the quality of that solution, in terms of correctness, reliability, readability, computational efficiency, and efficiency in design and development. At the linguistic level, research focuses on constructing methods for extending existing languages with domain specific features, for example, and in exploiting logic and type theory based approaches in developing flexible and secure programs. At the implementation level, our work focuses on designing virtual machines and compilation techniques to support extensibility and to realize new and sophisticated programming language features.

Faculty

Kuen-Bang Hou Favonia
Assistant Professor
Office
6-209 Keller Hall
Phone
E-mail
Mats Heimdahl headshot
Professor, Distinguished University Teaching Professor, Department Head
Office
4-192C Keller Hall
Phone
 Mattia Fazzini headshot
Assistant Professor
Office
6-189 Keller Hall
Phone
 Stephen McCamant headshot
Associate Professor
Office
4-225E Keller Hall
Phone
Gopalan Nadathur headshot
Professor
Office
6-215 Keller Hall
Phone
Eric Van Wyk headshot
Professor
Office
6-203 Keller Hall
Phone
E-mail

Latest research projects, publications, and talks