Experience
Education
Bio
My research focuses on combining machine learning with programming language techniques. My long term goal aims at developing effective neural-symbolic systems to tackle various challenging problems emerging from the domains of programming languages, automated logical reasoning, and software engineering.