Dave is a programmer working at the Queensland Functional Programming Lab.
At some point in the past he completed a PhD in Computer Science, involving computational complexity theory. These days he is mostly interested in programming language theory, functional reactive programming, Nix, session types, and various other bits and pieces of mathematics and theory associated with functional programming.
He is also passionate about spreading all of this knowledge, mostly by giving talks and writing blog posts and other training material, but also via talking to people at conferences, in pubs, and during elevator rides.
He has a personal website, which mostly contains similar writing to what you’ll see from him here.
He also has github page , which mostly contains similar code to what you’ll see from him in the QFPL repository.