Research Interests
My research focuses on formal methods and program reasoning.
Main areas of interest:
- Formal Verification
- Separation Logic
- Static Analysis
- Logical Reasoning Systems
AI Research Collaboration
IntiSoluciones (Latin America)
Collaborated on a computer vision project for industrial material classification and automated steel component identification.
Current Work
I am currently working on a thesis on a bi-abduction algorithm for Separation Logic, with applications to sufficient incorrectness logic and automated reasoning.