My Expertise
Argumentation, Computational Logic, Constraint Programming, Defeasible Reasoning, Non-monotonic Logics, Declarative Programming, Artificial Intelligence and Law.
Fields of Research (FoR)
Computational logic and formal languages, Mathematical logic, set theory, lattices and universal algebra, Satisfiability and optimisation, Knowledge representation and reasoning, Query processing and optimisation, Programming languages, Law, science and technology, Fairness, accountability, transparency, trust and ethics of computer systemsSEO tags
Biography
Michael Maher is now Director of the Reasoning Research Institute, Canberra. He previously taught in the School of Engineering and Information Technology at UNSW Canberra.
Before that, he was a Senior Principal Researcher at National ICT Australia and conjoint Professor at UNSW, a Professor at Loyola University Chicago, an Associate Professor at Griffith University, and a Research Staff Member at IBM's T.J. Watson Research Center.
Prospective...view more
Contact
Publications
by Associate Professor Michael Maher
ORCID as entered in ROS
https://orcid.org/0000-0002-1868-2113