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.

Slides of Graduate Outreach Trip to Romania

For prospective PhD studentsts

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