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
CS1010E
Programming Methodology
CS2100
Computer Organisation
CS2102
Database Systems