profile icon
Dr

Robert Sison

Research Fellow
Computing and Information Systems
Formal Methods
Interactive Theorem Proving
technology
computer science
science & technology
engineering
programs
computer science, theory & methods
language
Robert Sison's Profile Picture
Dr

Robert Sison

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

Robert Sison

 

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