Brief Bio

Duc-Hiep Chu is currently a postdoc at Institute of Science and Technology (IST) Austria, working in Thomas Henzinger's group. Before that, he was a research fellow working with Joxan Jaffar at National University of Singapore (NUS). Duc-Hiep obtained his Bachelor degree (Hons, 1st class) and his Ph.D., both in Computer Science, from National University of Singapore in 2008 and 2013 respectively.

Research Interests

  • Software Security: security of web apps and blockchain, side-channel and complexity attacks
  • Automated program analysis/verification/testing
  • Optimization with ad-hoc constraints

Selected Work

  1. Model Counting for Recursively-Defined Strings. CAV'17. [ PDF ]
  2. Making Smart Contracts Smarter. CCS'16. [ PDF ]
  3. Automatic Induction Proofs of Data-Structures in Imperative Programs. PLDI'15. [ PDF ]
  4. S3: A Symbolic String Solver for Vulnerability Detection in Web Applications. CCS'14. [ PDF ]
  5. Symbolic Simulation on Complicated Loops for WCET Path Analysis. EMSOFT'11. [ PDF ]


  • Ph.D., National University of Singapore (2008 - 2013)
  • BCompSc with First Class Honours, National University of Singapore (2004 - 2008)


  • Senior Lecturer, Vietnamese German University (Summer 2015)
    • Taught Object-Oriented Programming (using C++)
    • Taught Computer Architectures
  • Instructor (invited), National University of Singapore (Fall 2013)
    • Taught CS1010S: Programming Methodology (using Python)
  • Teaching Assistant (part-time), National University of Singapore (Fall 2008, Fall 2009)
    • Taught CS1101S: Programming Methodology (using Scheme)
  • Tutor (part-time), National University of Singapore (Fall 2006, Fall 2007)
    • Taught CS1101S: Programming Methodology (using Scheme)