Mircea Sebe graduated with a Masters in Mathematics & Computer Science from University of Birmingham in the UK. His final year project consisted of formalising the notion of string diagrams in Agda, and a framework allowing diagrammatic reasoning in a Category Theory context. He is interested in Proof Assistants, Programming Languages (particularly functional ones), Program Verification, and Parallel Programming. Mircea also interned for Cisco as a Software Engineer, to support the development of networking software using Python and C++.
Current role