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 ...

empirical software engineering Joseph Alejandro Gallego Mejia: Computer Vision, Remote Sensing, Machine Learning, Quantum Machine Learning, Natural Language Processing. Teaching courses: Programming, ...

Our research also focuses on communication for software engineers. "The availability of smartphones make collection and sharing data easier, faster, and more accurate."Robert Pastel, associate ...