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

My CV is available here
                                       
Research Interests: Software Mining, Analysis, Repair, Synthesis and Verification.

Education & Research Experience:

PhD Candidate, Singapore Management University, Singapore, Jan 2014 - May 2018
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
Under LARC-CMU collaboration program, supported by Singapore Ministry of Education.
Topic: Automatic software repair, Host: 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, Host:  Prof. Toyohide WATANABE

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

Teaching:
- Guest Lecturer: Program Analysis and Modeling, Graduate level, SMU, 2018
- Teaching Assistant: Software Mining and Analysis, Graduate level, SMU, 2018
- Teaching Assistant: Analytics Foundations, Undergraduate level course, SMU, 2017

Academic Services:
Reviewer:
- 2017: Empirical Software Engineering Jounal
Sub-reviewer:
- 2017: ICSME, IWESEP, VL/HCC, RV
- 2016: SAC, SATE, MSR (data track), ICECCS, APSEC
- 2014: POPL
- 2013: SAC