Curiosity is the wick in the candle of learning.  - William Arthur Ward
Welcome to my homepage. My name is Bach.
ようこそ!私はバイックです。なんかドイツらしい名前だね(笑)

News: I am looking for internship/software engineer/postdoc positions
. My CV is available here.  Please consider dropping me an email.
                                       
Research Interests: Software Mining, Analysis, Repair, Synthesis and Verification.

Education & Research Experience:

PhD candidate, Singapore Management University, Singapore, Jan 2014 - May 2018 (Expected)
Supported by LARC-Carnegie Mellon University collaboration program.
Topic: Automatic software repair, Advisor: Associate Prof. David Lo

PhD Residency Training, Carnegie Mellon University, Pittsburgh USA, Aug 2015 - June 2016
Supported by LARC-CMU collaboration program.
Topic: Automatic software repair, Advisor: Assistant Prof. Claire Le Goues

BSc (Hons), Hanoi University of Science and Technology, Vietnam, Aug 2007 - May 2012
Topic: SAT solvers and its application in software verification
Advisors: Associate Prof. HUYNH Quyet Thang, and Associate Prof. Wei Ngan Chin.

Research Assistant, National University of Singapore, Singapore, Aug 2012 - Nov 2013
Topic: Static software verification using SAT and Separation Logic
Advisor: 
Associate Prof. Wei Ngan Chin

Research Intern, National University of Singapore, Singapore, Feb 2012 - May 2012
Topic: Static software verification using SAT and Separation Logic
Advisor:  Associate Prof. Wei Ngan Chin

Undergraduate Intern, Nagoya University, Japan, Aug 2012
Topic: Building a social network application, Advisor:  Prof. Toyohide WATANABE

Languages: Vietnamese (native), English, and Japanese (intermediate, level 2 of Japanese Language Proficiency Test in 2009)