I am a postdoc working in the formalisation of mathematics with proof assistants.
| My Favorite Languages | |
| Language | Proficiency |
| Isabelle | Professional |
| Haskell | Advanced |
| Standard ML | Advanced |
| Java | Advanced |
| C | Intermediate |
| C++ | Intermediate |
| Python | Intermediate |
