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 Johannes Aman Pohjola

Faculty: Engineering
Fields of Research (FoR): Programming languages, Formal methods for software, Concurrency theory

Johannes Åman Pohjola is interested in beauty and truth.

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:

Computer Software and Services

Keywords:

cyber-physical systems

I have been an academic at UNSW since completing my PhD in 1991. I am a full professor since 2002.

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

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:

Expanding Knowledge in the Information and Computing Sciences

Expanding Knowledge in the Mathematical Sciences

Professor Carroll Morgan is professor in the School of Computer Science and Engineering.