Ben Greenman

Ben Greenman is a Researcher at Brown University, specializing in Gradual Typing, Formal Methods, and Programming Language Design. He has developed tools like

• Forge for teaching formal methods
• FlowFPX for floating-point exception debugging
• CnD for specification visualization

His work bridges theoretical advancements and practical software engineering challenges.

Research Trends: Recent publications focus on

• Temporal logic misconceptions (2024-2025)
• Gradual typing performance (2023-2025)
• Tool-driven formal methods education (2023)
• Language design for macro systems (2023)
• Numerical computation reliability (2023)

Key Contributions:

• Unified deep/shallow type systems
• Blame assignment strategies
• Collapsible contracts
• Corpus studies for type analysis
• Visual debugging frameworks