Find a researcher
Dr Robert Abella 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
Scientia Professor Gernot Heiser
Faculty: Engineering
Fields of Research (FoR): Operating systems, System and network security, Cyberphysical systems and internet of things, Formal methods for software
SEO tags:
Keywords:
Faculty: Engineering
Fields of Research (FoR): Operating systems, System and network security, Cyberphysical systems and internet of things, Formal methods for software
SEO tags:
Keywords:
I have been an academic at UNSW since completing my PhD in 1991. I am a full professor since 2002.
Professor Carroll Morgan
Faculty: Engineering
Fields of Research (FoR): Cybersecurity and privacy, Concurrency theory, Formal methods for software, Computational Logic and Formal Languages, Software Engineering, Applied Discrete Mathematics
SEO tags:
Faculty: Engineering
Fields of Research (FoR): Cybersecurity and privacy, Concurrency theory, Formal methods for software, Computational Logic and Formal Languages, Software Engineering, Applied Discrete Mathematics
SEO tags:
Professor Carroll Morgan is professor in the School of Computer Science and Engineering.
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.