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

Aziem Chawdhary

I am a Research Associate at the University of Kent, working with Andy King on the SeMaMatch project, where I am developing malware detection methods based on abstract interpretation.

My research interests generally lie in static analysis and abstract interpretation. During my PhD I designing 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: