440 Huntington Avenue
202 West Village H
Boston, MA 02115
Benjamin Boskin is a PhD student at Northeastern University’s College of Computer and Information Science, advised by Professor Panagiotos Manolios. He previously studied at Indiana University, where he earned a BS in Computer Science. Benjamin’s research areas include Formal Methods and Programming Languages, and he is interested in making formal logic more accessible in programming and developing our understanding of what it means for a statement in a programming language to be true or false.
- BS in Computer Science, Indiana University
- Hometown: Berkeley, CA
- Field of Study: Formal Methods
- PhD Advisors: Pete Manolios
What are the specifics of your graduate education (thus far)?
I’m excited to be starting as a PhD student at Northeastern, and to be starting research with Pete!
What are your research interests?
I’m interested in the relationship between language and truth, and in working with tools that expand our understanding of what it means for statements in programming languages to be true or false.
What’s one problem you’d like to solve with your research/work?
I’d like to solve the ‘problem’ of people being afraid of formal logic, and to make formal logic accessible, with tools and good explanations. We all use reasoning every day, and a formal logic is simply a tool that makes human reasoning stronger.
What aspect of what you do is most interesting?
What still blows me away is how the ‘hard’ problems are usually solved by being broken into easy pieces. So, the surprising thing about theorem proving is that to make tools that solve hard problems, you should only need tools that solve easy problems.
What are your research or career goals, going forward?
I hope to develop methods for teaching logic and algorithmic thinking to younger kids, with the hope that children with such backgrounds will help make the world a more reasonable place.