Programming Languages & Software Engineering


The CU Programming Languages and Software Engineering 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, computer-supported cooperative work, software processes, software security, internet-scale computing, language design, type theory, program analysis (static, dynamic, and hybrid), program understanding, program synthesis, formal verification, logics, semantics, and automata theory. CU-Boulder has had a long history of strong research in this area.

Active Labs & Centers