معرفی
Anders Miltner is an Assistant Professor in the School of Computing Science at Simon Fraser University (SFU), specializing in programming languages and automated reasoning. He holds a PhD in Computer Science from Princeton University (2020), an MA in Mathematics from the University of Pennsylvania (2013), and a BSE in Computer Science and Mathematics from the same institution (2013). His research focuses on program synthesis, automated refactoring, and functional programming, aiming to automate tedious aspects of programming to enhance developer productivity.
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, and functional programming. He explores how tools can automate programming tasks to allow developers to focus on core algorithms. Projects include Burst (program synthesis), Hanoi (data structure verification), and Type-Directed Refactorings (syntax-independent refactorings).
Scientific Awards:
- NSERC Discovery (2023)
- NSERC Discovery Launch Supplement (2023)
- POPL Distinguished Paper Award (2022)
- PLDI Distinguished Paper Award (2020)
Advising & Grants: Mentors PhD students Clement Wan and Ellenor Taghayor, and MSc/undergraduate students. Leads projects funded by NSERC grants and a Microsoft Research fellowship. Serves on conference committees for PLDI, POPL, and others.
Labs & Teams: Collaborates on the Hanoi project (representation invariant generation) within the Tangent Lab, involving institutions like UCLA and UT Austin.
