Ben

Lecturer Ben at Northeastern University's College of Engineering has taught diverse computer science courses from 2012 to 2025, including CS 7396: Seminar: Types, Inference, and Proof Search, CS 4470: Compilers, and CS 6110/5110: Software Verification. His work emphasizes programming language design, verification tools, and human factors in software systems.

Research trends include:

• Language support for tabular data
• Curry-Howard isomorphism applications
• Compiler implementation techniques

He has mentored students through courses like CS 3520/6520: Programming Languages and co-taught CS 4500: Software Development with Matthew Flatt. Ben's teaching philosophy incorporates hands-on projects, collaborative coding (e.g., pair programming), and cultural experiences like Zardoz screenings during his TA tenure at Cornell.