Education

Ph.D in Computer Science, Uppsala University, 2020
- Advisors: Mohamed Faouzi Atig and Parosh Aziz Abdulla
- PhD thesis: On Solving String Constraints
B.Sc. and M.Sc in Computer Science, University of Engineering and Technology, VNU Hanoi, 2014
- Advisors: Mohamed Faouzi Atig and Nguyen Viet Ha
- Master thesis: Avoiding State-Space Explosion in Model-Checker

Work experience

August 2021 - present: Software Engineering at Google Auth Libraries team
November 2020 to July 2021: Senior Software Engineering at Coupa Software
- Duties: Working on Coupa Sourcing Optimization
June to August 2020: Software Engineering Intern at Google Stockholm
- Duties: Working on a Reinforcement Learning project at Google Duo team
July to October 2018: PhD Intern at Microsoft Research
- Duties: Working on a Distributed Bounded Model Checking project
- Mentor: Akash Lal
May 2015 - present: Teaching Assistant at Uppsala University
- Duties included: Teaching Assistant of Programming Theory, Global Software Development, and Operating Systems and Process-Oriented Programming courses.
March to August 2013: Master Intern at National Institute of Informatics (NII), Tokyo
- Mentor: Ryuichi Takahashi

Efficient handling of string-number conversion. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janků, Hsin-Hung Lin, Lukáš Holík, Wei-Cheng Wu. PLDI’20.
Chain-Free String Constraints. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bui Phi Diep, Lukáš Holík, Petr Janků. ATVA’19. Best Paper Award.
Trau: SMT Solver for String Consraints. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukáš Holík, Ahmed Rezine, and Philipp Rümmer. FMCAD’18.
Flatten and Conquer: A Framework for Efficient Analysis of String Constraints. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukáš Holík, Ahmed Rezine, and Philipp Rümmer. PLDI’17.
Counter-Example Guided Program Verification. Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Bui Phi Diep. FM’16.

November 02, 2016

Talk at FM'16, Limassol, Cyprus

July 21, 2017

Talk at PLDI'17, Barcelona, Spain

November 16, 2017

Talk at Half PhD, Uppsala, Sweden

June 19, 2020

Talk at PLDI'20, London, UK

Teaching Assistant of Programming Theory: Fall 2016, Fall 2017.
Teaching Assistant of Operating Systems and Process-Oriented Programming: Spring 2016, Spring 2017, Spring 2018.
Teaching Assistant of Global Software Development: Spring 2018, Spring 2019, Spring 2020.

C/C++/C# (expert), Java (proficient), Python, JS, React (prior experience)