Dr Zoltan Kocsis
Faculty: Engineering
Fields of Research (FoR): Software and application security, Mathematical logic, set theory, lattices and universal algebra, Computational logic and formal languages, Evolutionary computation
Faculty: Engineering
Fields of Research (FoR): Software and application security, Mathematical logic, set theory, lattices and universal algebra, Computational logic and formal languages, Evolutionary computation
Current research activities
Logical techniques for the verification of the seL4 Core Platform
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.
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
Professor Ron Van der Meyden
Faculty: Engineering
Fields of Research (FoR): Theory of computation, Cybersecurity and privacy, Distributed systems and algorithms, Computational logic and formal languages
SEO tags:
Keywords:
Faculty: Engineering
Fields of Research (FoR): Theory of computation, Cybersecurity and privacy, Distributed systems and algorithms, Computational logic and formal languages
SEO tags:
Keywords:
Professor Ron van der Meyden is from the School of Computer Science and Engineering. His research interests include: