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


DLSPresenter of Abstracting Abstract Control within the DLS-track
Show activities from other conferences

SPLASH 2014-profile
View general profile