PRABAWA Adi Yoga Sidi

Lecturer
B.Sc. (Computer Science, National University of Singapore, 2011)
Ph.D. (Computer Science, National University of Singapore, 2019)
COM2-02-55
651 66520

http://www.comp.nus.edu.sg/~adi-yoga

Research Areas

Research Interests

  • Automated Software Verification
  • Language-based Information Flow Control
  • Type System and Program Analysis

Profile

Current Projects

Selected Publications

Awards & Honours

Teaching (2020/2021)

  • CS2102: Database Systems
  • CS1010E: Programming Methodology