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
CS2030S
Programming Methodology II
CS2102
Database Systems
IT5100C
Database Modelling and Programming