UNSW Research Web and Researcher Profiles are undergoing scheduled maintenance between 9:00 am on 9th October 2024 and 5:00 pm on 9th October 2024.
Content changes made during this period will be lost. This maintenance does not impact InfoEd or other applications.

Researcher

Associate Professor Michael Maher

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 systems

SEO 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

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 PhD Students

Michael Maher is not accepting any students for supervision.

Research Experience

  • Computational Logic
  • Constraint Programming and Optimization
  • Defeasible Reasoning and Argumentation
  • Non-monotonic Logics
  • Declarative Programming
  • Computational Law

Teaching Experience

  • Algorithms and Complexity
  • Data Structures
  • First-Order Logic
  • Interaction Design
  • Knowledge Representation and Reasoning
  • Operations Research
  • Programming Languages
  • Artificial Intelligence

Memberships

  • Association for Logic Programming
  • Association for Constraint Programming

Consulting Interests

  • Constraint-based Modelling and Optimization
  • Blockchain and smart contracts
View less