I hold a Ph.D degree from National Institute of Technology (NIT) Calicut, 2017. My thesis was on static analysis techniques to detect redundant expressions in Static Single Assignment (SSA) programs. One of them is adopted as an analysis pass in LLVM v5.0.0.
Since 2017, I have been associated with IISc as a Post Doctoral Fellow, where I work on static analysis techniques to verify embedded systems. I was awarded the UGC-Dr. D.S. Kothari Post Doctoral Fellowship and the SERB National Post Doctoral Fellowship, and I opted for the first. I have assisted two doctoral students, four masters' students, and two research assistants.
Prior to my journey as a doctoral student, I worked as Lecturer in Computer Science and Engineering at College of Engineering Perumon Kerala (2006-'07) and at College of Engineering Vadakara Kerala (2004-'06).
I have served as a Program Committee member of the 7th Workshop on Advances in Programming Languages (2019) and the 32nd ACM Symposium on Applied Computing (2017). I also had the opportunity to serve as the Faculty-in-charge of the Indian Society for Technical Education (ISTE) CEP Students' Chapter for the period 2006-'07.
rekha.pai [at] cs [dot] ox [dot] ac [dot] uk