Find a researcher

Find your prospective supervisor, research project or research group, collaborator or expert by searching UNSW Sydney Researcher Profiles. Use keywords to view their research interests, publications and areas of expertise.

Dr Robert Abella Sison

Faculty: Engineering
Fields of Research (FoR): Computational logic and formal languages, Formal methods for software, Programming languages, Operating systems
Keywords:

formal verification

formal methods

formal software verification

computer security

cyber security

information flow control

confidentiality

interactive theorem proving

concurrency

I am an Australian computer engineer who pivoted to formal methods research after a 5-year early career stint (2008-2014) as an OS-level software developer with NICTA spin-out Open Kernel Labs, Inc

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:

Expanding Knowledge in the Information and Computing Sciences

Expanding Knowledge in the Mathematical Sciences

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.