GIỚI THIỆU

Lê Xuân Bách
khoa Khoa học và Kỹ thuật máy tính
Email: lexuanbach@hcmut.edu.vn

THÔNG TIN CHUNG

Scholar: https://scholar.google.com/citations?user=FnjHppEAAAAJ&hl=vi

LĨNH VỰC NGHIÊN CỨU

• Safe AI
• Explainable AI
• Programming Verification
• Formal Methods
• Reinforcement Learning
• Quantum Computing

CÁC CÔNG TRÌNH KHOA HỌC TIÊU BIỂU

• XUAN-BACH LE, CRISTIAN GHERGHINA, AQUINAS HOBOR. Decision procedures over sophisticated fractional permissions. Asian Symposium on Programming Languages and Systems (Lecture Notes in Computer Science) – Vol 7705, 368-385, (2012) -ISBN/ISSN: 978-3-642-35181-5
• XUAN-BACH LE, SHANG-WEI LIN, JUN SUN, DAVID SANAN. A quantum interpretation of separating conjunction for local reasoning of quantum programs based on separation logic. Proceedings of the ACM on Programming Languages – Vol 6, 1-27, (2023) -ISBN/ISSN: 2475-1421
• XUAN-BACH LE, AQUINAS HOBOR. Logical reasoning for disjoint permissions. European Symposium on Programming (Lecture Notes in Computer Science) – Vol 10801, 385-414, (2018) -ISBN/ISSN: 978-3-319-89884-1