news
| Jan 1, 2024 | I started my new job as an Assistant Professor in ECE @ Purdue  |
|---|---|
| Dec 15, 2023 | My dissertation is now available: Gradual Verification of Recursive Heap Data Structures! |
| Dec 1, 2023 | Our paper Sound Gradual Verification with Symbolic Execution was accepted for publication at POPL’24!  |