Dr Miki Tanaka
Faculty: Engineering
Fields of Research (FoR): Formal methods for software, Programming languages, Operating systems
Keywords:
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.
Associate Professor Alex Potanin
Faculty: Engineering
Fields of Research (FoR): Programming languages
Faculty: Engineering
Fields of Research (FoR): Programming languages
Dr Alex Potanin is an Associate Professort at the Australian National University working closely with the Trustworthy Systems group at UNSW Sydney.
Mr Vincent Jackson
Faculty: Engineering
Fields of Research (FoR): Software testing, verification and validation, Programming languages, Concurrency theory, Software and application security, Logic
Keywords:
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 Rob 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 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
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
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.