Home » user account

Ian Johnson

Personal information


male

http://ccs.neu.edu/home/ianj

Formal methods/programming languages PhD student at Northeastern University.


Theorem proving, static analysis, type theory, macros

History


7 years 3 weeks