Foundations

91ÃÛÌÒ¸ó in logic and the foundations of mathematics at CU 91ÃÛÌÒ¸ó 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

Events

Faculty

Keith Kearnesalgebra, logic, combinatorics
Peter Mayralgebra, computational complexity

Postdoctoral 91ÃÛÌÒ¸óers

Charlotte Atenalgebra, combinatorics, category theory

Emeriti