Research in logic and the foundations of mathematics at CU Boulder is centered around connections between algebra, logic, and theoretical computer science. The principal areas of research involve algebraic model theory, groups of finite Morley rank, connections between algebra and set theory, and computational complexity theory.

 

Seminars

Faculty

Keith Kearnes algebra, logic, combinatorics
Peter Mayr algebra, computational complexity
Agnes Szendrei algebra, combinatorics, logic

Postdoctoral Researchers

William DeMeo algebra, logic

Emeriti