New York University

Courant Institute of Mathematical Sciences

My Academic Interests

Relations between Mathematical Logic and Computation
Program Specification and their Proofs
The Curry—Howard Isomorphism and Type Theory

  Car Collection
  Selected Drawings
  Mazda Promo
  Play Demo Poker

 

(This Site is Temporarily Under Construction)