Programming Languages & Software Engineering
Our research area investigates the fundamental principles, processes and technologies for the design, verification, analysis, implementation and optimization of computational systems.
Our interests span a wide spectrum of topics ranging from theoretical foundations to practical considerations for creating effective, reliable and complex software systems.
Active research areas include software architectures, application frameworks, software security, internet-scale computing, language design, type theory, formal verification, logics, semantics, and automata theory, among many others. CU Boulder has had a long history of strong research in this area.
Labs & Centers
Faculty in the news
Faculty
Affiliated Faculty
- Morteza Lahijanian (AERO)
- Alan Paradise (CS)
- Fabio Somenzi (ECEE)
- Joe Izrealivitz (ECEE)