- About
- Schools
- Study
- Research
- News & Events
- Contact
Anders Miltner
Assistant Professor
Computing Science
Areas of interest
Research Interests:
Program synthesis
Automated refactoring
Automated verification
Functional programming
Teaching Interests:
Programming languages
Formal reasoning
Automated analysis
Education
- PhD, Computer Science, Princeton University,2020
- MA, Mathematics, University of Pennsylvania, 2013
- BSE, Computer Science and Mathematics, University of Pennsylvania, 2013
Courses
Future courses may be subject to change.