308 West Village H
- BS in Computer Science and Mathematics, University of Maryland, College Park
- Hometown: Piscataway, NJ
- Field of Study: Programming Languages
- PhD Advisor: Matthias Felleisen
What are the specifics of your graduate education (thus far)?
Applying static contract verification to make sound gradual typing feasible.
What are your research interests in a bit more detail? Is your current academic/research path what you always had in mind for yourself, or has it evolved somewhat? If so, how/why?
I’m interested in designing tools that enable everyday developers to build more robust programs.
What’s one problem you’d like to solve with your research/work?
I’d like to be in a world where important program correctness properties are described and checked, rather than being relegated to obscure caveats written informally in an API’s documentation.
What aspect of what you do is most interesting/fascinating to you? What aspects of your research (findings, angles, problems you’re solving) might surprise others?
Good language design can allow programmers to pursue ideas that would have been infeasible otherwise. In this way, working on programming languages is highly rewarding.
What are your research/career goals, going forward?
Do good work.