Find a researcher
![](/sites/default/files/images/profile/RSison_ECAN_2024_final_512x512.jpeg)
Dr Rob Sison
Faculty: Engineering
Fields of Research (FoR): Computational logic and formal languages, Formal methods for software, Programming languages, Operating systems
Keywords:
Faculty: Engineering
Fields of Research (FoR): Computational logic and formal languages, Formal methods for software, Programming languages, Operating systems
Keywords:
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
![](/sites/default/files/images/profile/Screenshot%202023-10-16%20at%203.56.38%20pm.png)
Associate Professor Yulei Sui
Faculty: Engineering
Fields of Research (FoR): Programming languages, Software engineering, Software and application security, Deep learning
Faculty: Engineering
Fields of Research (FoR): Programming languages, Software engineering, Software and application security, Deep learning
![](/sites/default/files/images/profile/johannes.jpeg)
Dr Johannes Aman Pohjola
Faculty: Engineering
Fields of Research (FoR): Programming languages, Formal methods for software, Concurrency theory
Faculty: Engineering
Fields of Research (FoR): Programming languages, Formal methods for software, Concurrency theory
Johannes Åman Pohjola is interested in beauty and truth.
![](/sites/default/files/default_images/placeholder.png)
Dr Guangli Li
Faculty: Engineering
Fields of Research (FoR): Programming languages, Deep learning
Faculty: Engineering
Fields of Research (FoR): Programming languages, Deep learning
Guangli Li received his Ph.D. degree from the University of Chinese Academy of Sciences. His research interests lie at the intersection of programming systems and artificial intelligence.
![](/sites/default/files/images/profile/Michael_Maher.jpg)
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.