Foundations
Research in logic and the foundations of mathematics at 兔子先生传媒文化作品 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 Kearnes | algebra, logic, combinatorics |
Peter Mayr | algebra, computational complexity |
Postdoctoral Researchers
Charlotte Aten | algebra, combinatorics, category theory |