![Max New](https://s32615.pcdn.co/wp-content/uploads/2020/08/New_Max_Hero-scaled.jpg)
![Need to add an ALT text field to the CMS for the Hero Image](https://s32615.pcdn.co/wp-content/uploads/2020/08/New_Max_Hero-mobile.jpg)
Max New
![Max New](https://s32615.pcdn.co/wp-content/uploads/2020/08/New_Max_Hero-scaled.jpg)
![Max New](https://s32615.pcdn.co/wp-content/uploads/2020/08/New_Max_Hero-mobile.jpg)
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.
I have a master’s degree in computer science from Northwestern University and I am now a PhD student at Northeastern University.
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.
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.
I find it interesting how programming languages research uses abstract, rigorous mathematics to help solve the concrete setting of software.
I hope to advance the state of the art in program reasoning and compilers to further tame the beasts of computing.
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.
I have a master’s degree in computer science from Northwestern University and I am now a PhD student at Northeastern University.
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.
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.
I find it interesting how programming languages research uses abstract, rigorous mathematics to help solve the concrete setting of software.
I hope to advance the state of the art in program reasoning and compilers to further tame the beasts of computing.