- 👀 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: [email protected] or [email protected]
- 📫 My google scholar: https://scholar.google.com/citations?user=0TJ2SI8AAAAJ&hl=en
- 📫 My homepage: https://thanhlecongg.github.io
-
Couldn't load subscription status.
- 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