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 Rachid Hamadi

Faculty: Engineering
Fields of Research (FoR): Formal methods for software, Data and information privacy, Distributed computing and systems software, Computing education, Service oriented computing, Business process management, Software engineering

I am a Senior Lecturer at the School of Computer Science and Engineering (CSE) at the University of New South Wales (UNSW). I received my Ph.D. in Computer Science and Engineering from UNSW.
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 and Adjunct Senior Lecturer at Trustworthy Systems Group.
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 Vineet Rajani

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


Vineet Rajani is a Senior Lecturer (equivalent to US Associate Professor) in the School of Computer Science and Engineering at the University of New South Wales (UNSW) Sydney.
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.

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