He obtained his PhD at the Institute of Mathematical Sciences, Chennai. He is interested in software verification and in building reliable and secure software systems using formal correctness techniques.