Ben Greenman is a PhD student studying programming languages at Northeastern University’s Khoury College of Computer Sciences. His goal is to help developers incrementally add guarantees to their programs, and he seeks to work in research and teaching after he graduates.
Measuring and improving the performance of gradual type systems, specifically Typed Racket and Reticulated Python.
Language design, strong guarantees, and practical guarantees; i.e., the gap between programs that are useful and programs that are predictably correct and performance.
Approximating type inference in a language without principal types.
The best thing is building tools for working programmers.
Test promising ideas, share findings at conferences, try again with new energy. In the short-term I hope to graduate; in the long-term, continue researching, teaching, and writing.
I earned my Bachelor of Science and Master of Engineering degrees from Cornell University. But I specifically chose Northeastern because of Professor Matthias Felleisen and Professor Amal Ahmed. It was a great choice.
Ben Greenman is a PhD student studying programming languages at Northeastern University’s Khoury College of Computer Sciences. His goal is to help developers incrementally add guarantees to their programs, and he seeks to work in research and teaching after he graduates.
Measuring and improving the performance of gradual type systems, specifically Typed Racket and Reticulated Python.
Language design, strong guarantees, and practical guarantees; i.e., the gap between programs that are useful and programs that are predictably correct and performance.
Approximating type inference in a language without principal types.
The best thing is building tools for working programmers.
Test promising ideas, share findings at conferences, try again with new energy. In the short-term I hope to graduate; in the long-term, continue researching, teaching, and writing.
I earned my Bachelor of Science and Master of Engineering degrees from Cornell University. But I specifically chose Northeastern because of Professor Matthias Felleisen and Professor Amal Ahmed. It was a great choice.
