Programming Languages
Overview
The Programming Languages group studies the design, implementation, and formalization of programming languages. Our research includes work on language design, type systems, functional programming, and visual languages. We specialize in developing domain-specific languages that support solving and communicating difficult problems in a particular area by raising the level of abstraction, focusing on essential complexity, and empowering domain experts who may not be professional programmers. We also apply programming language techniques to solve problems in software engineering and end-user programming.
Sub Areas
- Functional Programming
- Domain-Specific Languages
- Type Systems
- Language Design
- Visual Languages
Faculty
Martin Erwig
Stretch Professor
Research Groups
Programming Languages | Computer Science Education
Affiliated Faculty
Margaret Burnett
Distinguished Professor
margaret.burnett@oregonstate.edu
Research Groups
Software Engineering and Human-Computer Interaction | Computer Science Education
Liang Huang
Professor
Research Groups
Data Science and Engineering | Artificial Intelligence and Robotics | Theoretical Computer Science | Health Engineering