- Department of Mathematical Science
- Carnegie Mellon University
- Pittsburgh, PA 15213

- Email: wgunther@math.cmu.edu
- Public Key

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. I'm not at Carnegie Mellon anymore; to see what I'm up to nowadays check out my LinkedIn.

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 |