Nikita Volodin

Into FP, Type Theory and Formal Verification. Former @cryspuwaterloo