Associate Professor Michael Maher
Faculty: Engineering
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:
Faculty: Engineering
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:
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.