SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
J. Ian Johnson

Registered user since Wed 20 Aug 2014

Name: J. Ian Johnson

Country: United States

Affiliation: Northeastern University

Personal website: http://ccs.neu.edu/~ianj

Research interests: Functional programming, static analysis, theorem proving, meta-programming

SPLASH 2014 Activities

SPLASH 2014-profile
View general profile