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