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.

Mr Vincent Jackson

Faculty: Engineering
Fields of Research (FoR): Software testing, verification and validation, Programming languages, Concurrency theory, Software and application security, Logic
Keywords:


Vincent is a Postdoctoral Researcher, working at the Trustworthy Systems Group, in the School of Computer Science and Engineering.
Dr Miki Tanaka

Faculty: Engineering
Fields of Research (FoR): Formal methods for software, Programming languages, Operating systems
Keywords:


Dr Miki Tanaka is a Senior Proof Engineer at Trustworthy Systems Group. Miki has years of experience in systems software verification using interactive theorem provers Isabelle/HOL and HOL4.
Dr Rob Sison

Faculty: Engineering
Fields of Research (FoR): Computational logic and formal languages, Formal methods for software, Programming languages, Operating systems
Keywords:


I am an Australian formal methods researcher who pivoted to academia after a 5-year early career stint (2008-2014) as an OS-level software engineer with NICTA spin-out Open Kernel Labs, Inc.
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.
Dr Guangli Li

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.

UNSW Sydney NSW 2052 Australia Telephone +61 2 93851000
Authorised by Deputy Vice-Chancellor (Research)
UNSW CRICOS Provider Code: 00098G ABN: 57 195 873 179

Join the conversation