As part of the VLC product team, Donovan provides technical expertise in the areas of functional programming and programming languages to support the technical toolchains behind our products.

Donovan has extensive experience working in and on, pure functional programming languages in an academic setting, with particular focus in the areas of meta-programming (programs that write programs) and theorem-proving around software correctness.

Donovan holds a BIT (Hons 1) and is currently undertaking his PhD in type-theory (a discipline of theoretical computer science closely related to functional programming) at the Australian National University.