Associate Professor Michael Maher

Associate Professor Michael Maher

Fields of research: Computational Logic and Formal Languages, Artificial Intelligence and Image Processing not elsewhere classified, Programming Languages
Campus: UNSW Canberra
Tags: Expanding Knowledge in the Information and Computing Sciences, Expanding Knowledge in the Mathematical Sciences

Dr Michael Maher teaches in the School of Engineering and Information Technology at ADFA in Canberra. Previously he was a Senior Principal Researcher at National ICT Australia, 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.

Research Experience

  • Computational Logic
  • Constraint Programming
  • Defeasible Reasoning
  • Non-monotonic Logics
  • Declarative Programming

Teaching Experience

  • Knowledge...

Dr Michael Maher teaches in the School of Engineering and Information Technology at ADFA in Canberra. Previously he was a Senior Principal Researcher at National ICT Australia, 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.

Research Experience

  • Computational Logic
  • Constraint Programming
  • Defeasible Reasoning
  • Non-monotonic Logics
  • Declarative Programming

Teaching Experience

  • Knowledge Representation and Reasoning
  • First-Order Logic
  • Programming Languages
  • Algorithms and Complexity

Memberships

  • Association for Logic Programming
  • Association for Constraint Programming

Consulting Interests

  • Constraint-based Modelling and Optimization

Location

Building 15 Room 204
School of Engineering and Information Technology, The University of New South Wales, Australian Defence Force Academy, PO Box 7916, Canberra BC ACT 2610, AUSTRALIA

Contact

Telephone: (+61) 2 626 88252
Fax: (+61) 2 626 88581