home · about · cv · research · posts · github · twitter · linkedin

Aziem Chawdhary

I am a Research Fellow at the University of Kent, working with Andy King on the SeMaMatch project (part of the EPSRC/GCHQ Research Institute in Automated Program Analysis and Verification) and Research Co-Investigator on the Vulnerability Discovery using Abduction and Interpolation EPSRC Joint Singapore-UK Cybersecurity grant. I am a member of the PLAS and Security research groups at Kent.

My research interests generally lie in static analysis and abstract interpretation. During my PhD I designed abstract interpreters for proving program termination. More recently I was developing commercial static analysis tools for finding concurrency bugs in Java applications whilst working at Contemplate Ltd.

Recent Articles: