- PhD student
Personal website: tekne.dev
I'm a PhD student at the University of Cambridge supervised by Neel Krishnaswami, currently working on rigorous, categorical semantics for SSA form with complex side effects, such as weak memory.
Research
Category Theory, SSA, Intermediate Representations, Compiler Design, Type Theory, Formal Verification, Concurrency, Weak Memory
Teaching
Types, Optimizing Compilers, Hoare Logic and Model Checking, Operating Systems, Complexity, Semantics of Programming Languages
