Scholar
Bach Le
Google Scholar ID: AUJWzE8AAAAJ
Senior Lecturer, ARC DECRA, School of Computing and Information Systems, The University of Melbourne
Citations & Impact
Citations
2,604
H-index
20
i10-index
29
Publications
20
Co-authors
27
list available
Publications
Resume (English only)
Research Experience
- Senior Lecturer, The University of Melbourne, Sep 2024 – Present
- Lecturer, The University of Melbourne, Jul 2019 – Aug 2024
- ARC DECRA Fellow, Jan 2022 – Dec 2024
- Postdoc, Carnegie Mellon University (Silicon Valley), Jun 2018 – Jun 2019; DARPA STAC / ISSTAC project; Topic: Software Security; Advisor: Assoc. Prof. Corina Pasareanu (ACM Distinguished Scientist)
- Research Assistant, National University of Singapore, Aug 2012 – Nov 2013; Topic: Static software verification using SAT and Separation Logic; Advisor: Assoc. Prof. Wei Ngan Chin
- Research Intern, National University of Singapore, Feb 2012 – May 2012; Topic: Static software verification using SAT and Separation Logic
- Undergraduate Intern, Nagoya University, Japan, Aug 2012; Project: Building a social network application; Host: Prof. Toyohide WATANABE
