Write a Blog >>
Duc-Hiep Chu

Registered user since Thu 11 Jun 2015

Name: Duc-Hiep Chu

Bio: Duc-Hiep Chu is a postdoctoral research fellow at School of Computing, National University of Singapore. Prior to that, he obtained his Ph.D. in Computer Science from NUS Graduate School for Integrative Science and Engineering. His bachelor degree was also in Computer Science and from School of Computing, NUS. Once upon a time, Duc-Hiep studied Mathematics at Hanoi Amsterdam High-School for gifted students. Duc-Hiep is particularly interested in the theory and practice of automated program reasoning, with emphasis symbolic execution, constraint solving, and interpolation techniques. His Ph.D. work explored new interpolation methods in order to mitigate the notorious path-explosion problem of symbolic execution. Recently, Duc-Hiep broadens his research interests to study Separation Logic and security problems in Web Applications.

Country: Vietnam

Affiliation: National University of Singapore

Personal website: https://www.comp.nus.edu.sg/~chuduchi/

Research interests: Program Analysis, Program Verification, Security, Constraint Solving


POPL 2016Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track
Show activities from other conferences

POPL 2016-profile
View general profile