otini otini@functional.cafe

PhD student in computer science, trying to prove safety properties on binary programs using abstract interpretation. I also like tea, type systems and logic.