‹Programming› 2023
Mon 13 - Fri 17 March 2023 Tokyo, Japan
Ben Greenman

Registered user since Sun 25 Oct 2015

Name:Ben Greenman

Delmar NY -> Cornell University (BS, M.Eng) -> Northeastern University (PhD, Felleisen) -> Brown University (CIFellows 2020)

Country:United States
Affiliation:Brown University
Personal website:http://ben-greenman.com
Research interests:language design, static analysis, type systems


‹Programming› 2023 Little Tricky Logic: Misconceptions in the Understanding of LTL
Show activities from other conferences

Using general profile