Info
email: george.mcninch@tufts.edu
address:
Department of Mathematics Tufts University Joyce Cummings Center 177 College Avenue Medford, MA 02155 USAMcNinch’s Curriculum Vita
MathSciNet profile page (subscription paywall)
ORCIDRecent teaching info
Spring 2026
- Math 087 - Mathematical Modeling
- Math 136 - Real Analysis II
Fall 2025
- Math 245 - Graduate Algebra
Spring 2025
- Math 146 - Algebra II
- Math 87 - Mathematical Modeling
Fall 2024 I was on sabbatical
Spring 2024 I taught:
- Math 190 - Topics in Algebra
- Math 87 - Mathematical Modeling
Biographic Sketch
George McNinch is a Professor in the Department of Mathematics at Tufts University. McNinch’s mathematical research has been primarily focused on algebra – specifically, the study of the structure and representations of reductive linear algebraic groups.
More recently, he has developed an interest in the formalization of mathematics using the [Lean4][Lean4] proof assistant and its mathematical library [Mathlib][Mathlib], with an eye toward formalizing results in algebra and representation theory.