About Me

My name is Xuan-Bach Le, and I am presently a postdoctoral researcher at NTU in Singapore under the supervision of Professor Luke Ong. Additional information about my background and work can be found here.

I studied Double-Degree Program in Computer Science and Pure Mathematics (taken courses) at NUS (Singapore, 2007-2012). I then obtained my CS PhD from NUS (2013-2017) under the supervision of Aquinas Hobor and mentorship of Anthony W. Lin.

Research Interest

I am interested in both the practical applications and theoretical foundations of Computer Science. My research topics include (but are not limited to) developing logical frameworks/(certified) decision procedures for program verification, as well as establishing the decidability and computational complexity of the underlying logics. Recently, I’ve started to do research in Reinforcement Learning. This is my recently published neurips paper.

Publications

  1. With Dominik & Leon & Alex & Luke Ong: Reinforcement Learning with LTL and Omega-Regular Objectives via Optimality-Preserving Translation to Average Rewards. In NeurIPS, 2024. Paper.
  2. With Shang-Wei Lin & Sun Jun & David Sanan : A Quantum Interpretation of Separating Conjunction for Local Reasoning of Quantum Programs Based on Separa-tion Logic. In POPL, 2022. Paper. Slides.
  3. With David Sanan & Sun Jun & Shang-Wei Lin: Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications. In ICECCS, 2020. Paper. Slides.
  4. With Pablo Barcelo & Chih-Duo Hong & Anthony W. Lin & Reino Niskanen (alphabetical order): Monadic Decomposability of Regular Relations. In ICALP 2019. Paper.
  5. With Aquinas Hobor & Anthony W. Lin: Complexity Analysis of Tree Share Structure. In APLAS 2018 (Wellington, New Zealand). Paper. Slides.
  6. With Aquinas Hobor: Logical Reasoning for disjoint permissions. In ESOP 2018 (Thessaloniki, Greece). Paper. Slides. Tool.
  7. With Toan Nguyen Thanh & Wei Ngan Chin & Aquinas Hobor: A Certified Decision Procedure for Tree Shares. In ICFEM 2017 (Xian, China). Paper. Slides. Tool.
  8. With Aquinas Hobor & Anthony W. Lin: Decidability and Complexity of Tree Share Formulas. In FSTTCS 2016 (Chennai, India). Paper. Slides.
  9. With Cristian Gherghina & Aquinas Hobor: Decision Procedures Over Sophisticated Fractional Permissions. In APLAS 2012 (Kyoto, Japan). Paper. Slides.
  10. Thesis: Disjoint fractional permissions in verification: Applications, Systems and Theory. Submitted in September 2017. Submitted version.

A website for both personal and professional purposes