Max New
PhD Student
Education
- MS in Computer Science, Northwestern University
- BA in Computer Science, Northwestern University
About Me
- Hometown: Berwick, Louisiana
- Field of Study: Programming Languages
- PhD Advisor: Amal Ahmed
Biography
Max New is a PhD student in the Programming Languages program at Northeastern University's Khoury College of Computer Sciences, advised by Professor Amal Ahmed. Before coming to Northeastern, Max earned his bachelor’s degree and master’s degree in computer science from Northwestern University. Max’s research involves the reasoning capabilities of programming languages, and he participates in nuPRL (Programming Research Laboratory) at Northeastern.
What are the specifics of your graduate education (thus far)?
I have a master's degree in computer science from Northwestern University and I am now a PhD student at Northeastern University.
What are your research interests?
Programming is difficult, but good programming languages can facilitate an easier reasoning for programs. I study the reasoning capabilities of programming languages and how to ensure that tools like compilers preserve high-level reasoning.
What’s one problem you’d like to solve with your research/work?
Most programmers use high-level languages, but I link with code written in low-level languages like C and Assembly code that can violate the reasoning principles of the high-level language.
I study "fully abstract compilation" which systematically ensures that the high level reasoning still holds.
What do you find most interesting?
I find it interesting how programming languages research uses abstract, rigorous mathematics to help solve the concrete setting of software.
What are your research/career goals, going forward?
I hope to advance the state of the art in program reasoning and compilers to further tame the beasts of computing.