Dr. Michael J. Maher obtained his Ph.D. from the University of Melbourne. Currently, he is Director at Reasoning Research Institute in Canberra. His research interests are in the areas of computational law, defeasible reasoning, argumentation, constraint logic programming.
Dr. Ron van der Meyden is Professor in the School of Computer Science and Engineering at UNSW, Sydney. His research interests include: computer security; logic in computer science; logic of knowledge and belief; temporal logic; distributed systems; blockchain; and smart contracts.