Name:Ben Greenman

Bio:

Grew up in Albany, NY. Went to college in Ithaca, NY, did a masters with Ross Tate. Now at Northeastern with Matthias Felleisen.

Country:United States

Affiliation:Northeastern University

Research interests:Programming, performance, proofs