profile icon
Dr

Robert Sison

Research Fellow
Computing and Information Systems
Interactive Theorem Proving
Formal Verification
Formal Methods
Computer Security
Information-Flow Security
computer science
science & technology
technology
secure compilation
Robert Sison's Profile Picture
Dr

Robert Sison

 
Division
Engineering and IT
 
Primary Interest
Formal Verification
Robert Sison's Profile Picture
Dr

Robert Sison

 

Scholarly Works

Displaying the 6 most recent scholarly works from 6 for Robert Sison.

Honours, Awards and Fellowships

2021

Eureka Prize for Outstanding Science in Safeguarding Australia (Cross Domain Desktop Compositor team)

Australian Museum

2018

Attendance at Summer School Marktoberdorf (Engineering Secure and Dependable Software Systems)

fortiss GmbH

2018

Travel support to attend DeepSpec Summer School on Verified Systems (DSSS'18)

Princeton University

2017

Travel support to attend Programming Languages Mentoring Workshop (PLMW@POPL'18)

ACM SIGPLAN

2016

CSIRO Data61 Research Project Award (PhD top-up scholarship)

CSIRO's Data61

5

Awards

Credentials

Positions


Research Fellow

Computing and Information Systems

Education


Doctor of Philosophy (Computer Science and Engineering)

University of New South Wales

Master of Information Technology with Excellence

University of New South Wales

Bachelor of Engineering (Computer Engineering) with Honours Class 1, and Bachelor of Arts (Japanese Studies), combined

University of New South Wales