About

drawing

Hi! I’m a PhD candidate at School of Computing, National University of Singapore. My PhD adviser is Prof Kuldeep S Meel. My research topics include Answer Set Programming, Logic Programming, Formal Method, Metaheuristic.

Education

Publication

Preprint