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 |