I'm a programmer interested in type theory, compilers, and systems software. I am currently working on the Xinux project in the UOSS team.
Links
Research interests
- Type theory
- Systems programming and formal verification
- Functional programming languages