William Gunther

About Me

I graduated in 2015 with my PhD in Mathematics, through the Pure and Applied Logic program at Carnegie Mellon University. I graduated from Rutgers University in 2009 with my BA in Mathematics. My area of study is lambda calculus and typed lambda calculus; in particular, I am interested in typability of terms in higher order typing systems. To play with the lambda calculus, try out my JavaScript lambda calculus reducer. I am also interested in mathematical education; please see my teaching materials below.

Teaching

Semester Course Number Course Name Role Instructor
Fall 2014 21-112 Calculus II (for Humanities Students) Teaching Assistant Dr. Juan Jorge Schaffer
Fall 2014 21-120 Differential and Integral Calculus Teaching Assistant Dr. John Mackey
Summer 2014 21-241 Matrix Algebra Instructor
Spring 2014 21-127 Concepts of Mathematics Teaching Assistant Dr. Tim Flaherty
Fall 2013 21-122 Integration, Differential Equations, and Approximations Teaching Assistant Dr. Gurgen Hayrapetyan
Summer 2013 21-122 Integration, Differential Equations, and Approximations Instructor
Spring 2013 21-260 Differential Equations Teaching Assistant Dr. Irina Gheorghiciuc
Fall 2012 21-122 Integration, Differential Equations, and Approximations Teaching Assistant Dr. Gregory Johnson
Summer 2012 21-127 Concepts of Mathematics Instructor
Spring 2012 21-127 Concepts of Mathematics Teaching Assistant Dr. Irina Gheorghiciuc
Summer 2011 21-127 Concepts of Mathematics Grader Mr. Brendan Sullivan
Summer 2011 21-120 Differential and Integral Calculus Instructor
Spring 2011 21-127 Concepts of Mathematics Teaching Assistant Dr. Gregory Johnson
Fall 2010 21-256 Multivariate Analysis and Approximation Teaching Assistant Dr. Irina Gheorghiciuc
Summer 2010 21-120 Differential and Integral Calculus Instructor
Spring 2010 21-127 Concepts of Mathematics Teaching Assistant Dr. Irina Gheorghiciuc
Fall 2009 21-259 Calculus in 3 dimensions Teaching Assistant Dr. Tim Flaherty

Links