otini @otini@functional.cafe
- languages
- EN, sometimes FR
- pronouns
- he (EN) • il (FR)
- website
- https://otini.chnik.fr
- Matrix
- otini:tedomum.net
PhD student in computer science, trying to prove safety properties on assembly programs using formal methods. I also like tea, type systems and logic.
Joined Dec 2017
