I believe that programmers are most efficient in high-level languages with highly expressive type systems that can directly encode program invariants.
My career goal is to promote the design, evolution and pervasive adoption of such languages.
I like working on: Programming languages, type theory, typed intermediate languages, logic, garbage collection, information flow, compilers, linear logic, proof theory, mechanized metatheory, type safety, typesafe languages, formal logic, formal proof, mechanized proof, Haskell, SML, open source software, free software
We鈥檝e updated our privacy policy so that we are compliant with changing global privacy regulations and to provide you with insight into the limited ways in which we use your data.
You can read the details below. By accepting, you agree to the updated privacy policy.
