- 👀 I’m interested in Formal Verification and Software Engineering with a specific focus on Automated Software Debugging.
- 🌱 I’m currently working on Program Analysis and Repair!
- 📫 How to reach me: congthanh.le@student.unimelb.edu.au or thanhcls1316@gmail.com
- 📫 My google scholar: https://scholar.google.com/citations?user=0TJ2SI8AAAAJ&hl=en
- 📫 My homepage: https://thanhlecongg.github.io
-
Notifications
You must be signed in to change notification settings - Fork 0
thanhlecongg/thanhlecongg
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published