Hi - I’m Sydney-based software engineering researcher and practitioner with a background in computer science (formal methods). I’m interested in how to create practical tentatively-valid models and analyses of the law, to help with problems that government, business, and citizens have accessing, understanding, and working with the law. I have been working with the Deontic Defeasible Logic developed at Data61 (previously, at NICTA). Some areas of law I’ve looked at as examples are defence export controls, covid test criteria, food labelling, responsible lending, building codes, privacy.
There are loads of interesting issues to think about! The unique characteristics of legal reasoning impact how we need to model the law, especially at scale. This means many of the standard principles (e.g. modularity, information hiding/abstraction) from computer science don’t work well here, and others (e.g. model composition, problem decomposition, validation) need to be adapted.
I also/mainly do blockchain research including with smart contracts, but not yet really in combination with any of the above.