Francois Dorais

Francois Dorais is a Senior Lecturer in the Department of Mathematics and Statistics at the University of Vermont. He specializes in mathematical logic, foundations of mathematics, and type theory, with a focus on Homotopy Type Theory (HoTT). He holds a Ph.D. from Dartmouth College (2007) under Marcia Groszek. His postdoctoral work included positions at Cornell University, the University of Michigan, Appalachian State University, and Dartmouth College.

Research interests include the structure of universes in type theory, formal systems, and the interplay between HoTT and set theory. Recent publications explore 'Super HoTT' and foundational aspects of group theory in HoTT. Courses taught include Calculus II, Linear Algebra, and Fundamentals of Mathematics.

His work often addresses technical challenges in universe management and the proof-relevance of algebraic structures. No specific grants or awards are listed, though his contributions to HoTT and type theory are notable in academic circles.