Rakesh Mistry — Software Engineer

I'm a software engineer with 7+ years of experience in both front and backend development. Apart from my job I have contributed to projects ranging from autonomous vehicles to research work leading to publications in top conferences. Experience: - Oracle India - Worked with Data Visualization team in Oracle BI. - IIT Bombay - Worked as a research assistant on WSTE and SMTApproxMC. Publications: - Approximate Probabilistic Inference via Word-Level Counting - AAAI 2016 - Word-Level Symbolic Trajectory Evaluation - CAV 2015 Awards: - Won the Excellence in Research award for my research work on Word Level Symbolic Trajectory (WSTE) and SMT Approximate Model Counter (SMTApproxMC) in IIT Bombay, 2016. Education: I am a Masters of Technology in Computer Science from Indian Institute of Technology Bombay. In my spare time I like traveling, reading, playing video games and cooking.

Stackforce AI infers this person is a Software Engineer with expertise in full-stack development and research in advanced technologies.

Location: Hyderabad, Telangana, India

Experience: 11 yrs 9 mos