Software Engineering and Programming Languages

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

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

Latest research projects, publications, and talks