RO
Indonesia / IMO
Raja Oktovin Parhasian Damanik
The Australian National University
PHD Candidate
INDEXED CAREER PROFILEFormal Verification & Cybersecurity Doctoral Researcher
Competition record
Education
National University of Singapore
Mathematics and Computer Science
Universitas Indonesia (UI)
University of Amsterdam
Work
The Australian National University
PHD Candidate
University of Indonesia
Lecturer
University of Indonesia
Teaching Assistant Coordinator
The University of Auckland
Research Student
NUS School of Computing
Junior Research Assistant
Sources & notes
Professional information comes from a saved LinkedIn profile indexed 23 June 2026. Affiliations have not been independently rechecked. “Listed current” reflects the source record. Education end dates may be expected graduation dates.
How this collection was made ↗