Cameron Moy
Cameron Moy
Cameron Moy
Cameron Moy
Education
- BS in Computer Science and Mathematics, University of Maryland, College Park
About Me
- 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.
Education
- BS in Computer Science and Mathematics, University of Maryland, College Park
About Me
- 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.
© 2024 Northeastern University
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
x
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...
© 2024 Northeastern University
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
Khoury Social
Contact Khoury
440 Huntington Avenue, 202 West Village H
Boston, MA 02115
617.373.2462
TTY: 617.373.3768
x
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...
x
About
Programs
Experiential Learning
Research
Life at Khoury
Information for...