Aziem Chawdhary
PhD Student, Theory Group
Dept of Computer Science ,Queen Mary, University of London
I am currently a PhD student, supervised by Prof. Peter O'Hearn. I am a member of the East London Massive. I am supported by a Microsoft European PhD Scholarship working with Prof Byron Cook
Publications
Variance Analyses from Invariance Analyses
Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, and Peter O'Hearn.
in 34th Symposium on Principles of Programming Languages (POPL 2007), Nice, France.
Ranking Abstractions (full version with proofs )
Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang
ESOP'08 [European Symposium on Programming] (Budapest).
Slides from the talk I gave at ESOP 2008.
We have also made available the examples used to test the implementation from the paper here
Teaching
As I am supposed to be writing up my thesis, I am no longer working as a teaching assistant. In the past I have TA'd for Logic and Proof, Discrete Mathematics, Logic and Discrete Structures, Algoritms and Data Structures, Specification and Reasoning, Algorithms and Complexity and Probability and Matrices.
Other Details
Room number 429
Extension 5220
Phone Number +44 (0) 207 882 5220
Email : aziem "at" dcs.qmul.ac.uk
