Find a researcher

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.