PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Donovan Crichton

Registered user since Fri 20 Jan 2023

Name:Donovan Crichton

Donovan is a PhD student in Computational Foundations at the Australian National University, supervised by Dr Dirk Pattinson and Dr Ranald Clouston.

Affiliation:The Australian National University
Research interests:Dependent Type Theory, Idris, Functional Programming, Formal Methods and Verification


Show activities from other conferences

Using general profile