Home » Uncategorized
Category Archives: Uncategorized
Research, Family, and Unforgettable Moments in Virginia
This summer was filled with meaningful moments—both professionally and personally. On top of some exciting high points in my research at Virginia Tech, I had the joy of visiting Blacksburg with my 6-year-old. We made some incredible memories together, including a visit to the Virginia Safari Park. Here’s one of our favorite photos from the […]
Hello, incorrectness logic
O’Hearn’s Incorrectness Logic (IL) has recently gained a lot of traction in the programming languages community. While studying it with VT faculty and students, I became captivated by IL’s power of proving the presence of bugs. Before I delve into its practical application, I aim to gain a robust understanding of its precise meaning. Below, […]
Visiting Virginia Tech
During the summer of 2023, I have the privilege of being a visiting assistant professor at Virginia Tech. I must say that the campus is truly magnificent. However, as I attempted to capture its beauty through photography, I encountered a bit of rain. I am working with the Software System Research Research Group at VT […]