Razvan Voicu

Department of Computer Science

School of Computing

National University of Singapore

Bldg. COM2 #3-10

13 Computing Drive

Singapore 117417

email: razvan at comp.nus.edu.sg

Tel:     (65) 6516-2732 (office)

---

I am a lecturer in the Computer Science Department of the National University of Singapore. My areas of expertise are programming languages and systems, and computational logic. My research interests are in program verification and automated theorem proving.

Teaching

Check IVLE for most updated information (you need a NUSNET account)

• 2011/2012
• CS4216: Constraint Logic Programming (spring)
• CS5214: Optimizing Compilers (spring)
• CS2104: Programming Language Concepts (fall) (student feedback)
• CS4212: Compiler Design (fall) (student feedback)
• 2010/2011
• CS2106: Operating Systems (spring) (student feedback)
• CS4216: Constraint Logic Programming (spring) (student feedback)
• CS2104: Programming Language Concepts (fall) (student feedback)
• CS4212: Compiler Design (fall) (student feedback)
• 2009/2010
• CS2106: Operating Systems (spring) (student feedback)
• CS4216: Constraint Logic Programming (spring) (student feedback)
• CS3212: Programming Languages (fall) (student feedback)
• CS5219: Automated Software Validation (fall) (student feedback)
• A complete list of the courses I taught at NUS can be found here.

Publications - some of the online versions can be found here.

Razvan Voicu, February 14, 2012