![Donovan Crichton](https://pldi23.sigplan.org/getProfileImage/donovancrichton/5ac53e07-7807-46cb-bb3a-f7754c55a63c/small.jpg?1711503898000)
Registered user since Fri 20 Jan 2023
Name:Donovan Crichton
Bio:
Donovan is a PhD student in Computational Foundations at the Australian National University, supervised by Dr Dirk Pattinson and Dr Ranald Clouston.
Country:Australia
Affiliation:The Australian National University
Research interests:Dependent Type Theory, Idris, Functional Programming, Formal Methods and Verification
Contributions
PLDI 2023-profile
View general profile
View general profile