Regular biography
Dr Bach Le is a Senior Lecturer and ARC DECRA Fellow at The University of Melbourne's Department of CS. With a focus on research areas not explicitly detailed, Dr Le contributes to the academic community through teaching and scholarly work. Their professional contact details include an email address and a profile page for further information.
Scholar-generated biography
Bach Le is a Senior Lecturer at the University of Melbourne, specializing in Program Repair, Program Synthesis, Formal Methods, Computer Security, and Computing Systems. His research focuses on improving software reliability through automated techniques, including semantics-based program repair, vulnerability detection, and the integration of large language models in software engineering. Le's work addresses challenges in smart contract development, defect categorization, and the assessment of patch correctness. His publications explore the application of formal methods and symbolic execution in program synthesis and security analysis, contributing to the advancement of automated software repair and vulnerability mitigation.