Anders Miltner

Assistant Professor, School of Computing Science (Starting August 15th, 2022)

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