Aduri Karthikeya is an MS by Research student at SERC, IIIT Hyderabad. Prior to joining IIIT Hyderabad, he completed his undergraduate studies at Osmania University and worked as a software developer at OSI Digital. He is interested in building reliable software systems.