Anders Miltner
Anders Miltner is a post-doctoral research fellow primarily interested in program synthesis. He has worked on synthesis tasks related to string transformations and code refactoring. Anders is currently working on how to integrate synthesis in the design and implementation of data structures.
