GradNova

P

Paul Krogmeier

Visiting Assistant Professor

Computer Science, University of Colorado Boulder

Research Interests

Formal Methods in Verification

Logic, Programming, and Type Systems

Machine Learning and Algorithms

Semigroups and Automata Theory

Software Engineering Research

Academic Metrics

Links

Grants