I am a lecturer in the Computer Science Department of the National University of Singapore. My research interests are in program verification and automated theorem proving.

For prospective PhD students

UROP/Fourth Year Project topics

Teaching

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

• CS3212: Programming Language Concepts (fall 2008/9)
• CS1101: Programming Methodology (fall 2008/9)
• CS3211: Parallel and Concurrent Programming (spring 2007/8)
• CS2104: Programming Language Concepts (spring 2007/8)
• CS3212: Programming Languages (fall 2007/8)
• CS2100: Computer Organization (fall 2007/8)
• CS1102S: Algorithms and Data Structures (spring 2006/7)
• CS3211: Parallel and Concurrent Programming (spring 2006/7)
• CS3234: Logic and Formal Systems (fall 2006/7)
• CS1101S: Programming Methodology in Scheme (fall 2006/7)
• CS1102S: Algorithms and Data Structures (spring 2005/6)
• CS3211: Parallel and Concurrent Programming (spring 2005/6)
• CS3234: Logic and Formal Systems (fall 2005/6)
• CS1101S: Programming Methodology in Scheme (fall 2005/6)
• CS1102S: Algorithms and Data Structures (spring 2004/5)
• CS3211: Parallel and Concurrent Programming (spring 2004/5)
• CS3234: Logic and Formal Systems (fall 2004/5)
• CS1101S: Programming Methodology in Scheme (fall 2004/5)
• CS3211: Parallel and Concurrent Programming (spring 2003/4)
• CS1102S: Algorithms and Data Structures (spring 2003/4)
• CS3234: Logic and Formal Systems (fall 2003/4)
• CS1101S: Programming Methodology in Scheme (fall 2003/4)
• CS4231: Parallel and Distributed Algorithms (spring 2002/3)
• CS1101S: Programming Methodology in Scheme (fall 2002/3)
  

Research - recent work

•  Joxan Jaffar, Andrew Santosa and Razvan Voicu, Efficient Memoization for Dynamic Programming with Adhoc Constraints, AAAI'08 (abstract , pdf )
• Joxan Jaffar, Andrew Santosa and Razvan Voicu, A Coinduction Rule for Entailment of Recursively Defined Properties (abstract , pdf )
• Joxan Jaffar, Andrew Santosa and Razvan Voicu, An Interpolation Method for State Space Exploration, draft (abstract , pdf )
• Joxan Jaffar, Andrew Santosa and Razvan Voicu, Recursive Assertions for Data Structures, draft (abstract , pdf )

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

Razvan Voicu           August 5, 2008