[GitHub] [DBLP] [Google Scholar]
I am a fourth year doctoral student working with Prof. Parasara Sridhar Duggirala at Computer Science Department at the University of North Carolina at Chapel Hill. My research is focused on Cyber-Physical Systems, their verification and validation using formal methods as well as neural networks.
Prior to joining grad school, I have worked in Kernel group of SoC verification platform, SpyGlass, at Synopsys India Pvt. Ltd. I have also worked with Prof. Goran Frehse in Parsers team of affine linear hybrid systems verification platform, SpaceEx, at Verimag Research Lab, Grenoble.