I work on verification of shape invariants for data structures written in C. My supervisor is Professor Parosh Abdulla.
I recently gave a very brief Separation Logic tutorial. More info can be found here.
Want to learn TeX? Start here.
Publications
- Monotonic Abstraction for Programs with Multiply-Linked Structures
- Analyzing the security in the GSM radio network using attack jungles
- Automated Analysis of Data-Dependent Programs with Dynamic Memory
- Monotonic Abstraction for Programs with Dynamic Memory Heaps