
Adi Yoga Sidi PRABAWA
Lecturer (Educator Track)- B.Sc. (Computer Science, National University of Singapore, 2011)
- Ph.D. (Computer Science, National University of Singapore, 2019)
RESEARCH AREAS
RESEARCH INTERESTS
Automated Software Verification
Language-based Information Flow Control
Type System and Program Analysis
RESEARCH PROJECTS
RESEARCH GROUPS
TEACHING INNOVATIONS
SELECTED PUBLICATIONS
AWARDS & HONOURS
MODULES TAUGHT
CS2030S
Programming Methodology II
CS2102
Database Systems
IT5100C
Database Modelling and Programming