Anders Miltner
Assistant Professor, School of Computing Science
Education
- PhD, Computer Science, Princeton University,2020
- MA, Mathematics, University of Pennsylvania, 2013
- BSE, Computer Science and Mathematics, University of Pennsylvania, 2013
Research Interests:
- Program synthesis
- Automated refactoring
- Automated verification
- Functional programming
Teaching Interests
- Programming languages
- Formal reasoning
- Automated analysis