PRABAWA Adi Yoga Sidi

Lecturer
B.Sc. (Computer Science, National University of Singapore)
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 (2019/2020)

  • CS2100: Computer Organisation
  • CS2102: Database Systems
  • CS1010E: Programming Methodology