Tanmay Patil — Product Engineer

I'm a final year student in the Computer Science and Engineering Department at IIT Bombay with a growing interest in software development, programming languages, verification of systems, and formal methods. I'm currently working on an Automated Synthesis problem under the guidance of my advisor, Prof. Supratik Chakraborty. I've gained hands-on experience with tools like CaDiCaL and ABC, and I'm proficient in C++, Python, and moderately skilled at Java, Rust. Throughout my study at IIT Bombay, some courses that I've taken and found interesting: • Formal Methods in Machine Learning: Focused on verifying ML models for robustness and reliability. Got exposed to tools like Alpha-Beta-Crown. • Automated Reasoning: Took me into the details of SAT/SMT Solvers, learning about their internal functioning and the theory behind it. • Virtualization and Cloud Computing: A deep dive into how Virtual Machines work and how the Cloud Technology functions. • Advanced Compilers: I was exposed to the optimizations that make a compiler better. A very hands-on course, since we were asked to code most of the optimizations we studied. • Embedded Systems: A thrilling course taking us on a journey of building a line-following robot. Got a hands-on experience of how an RTOS works and the kinds of challenges faced. Professionally, I've worked as a Data Analyst Intern at Axis Bank, where I built internal apps and automated insights using Power BI and Power Apps. This summer, I interned as a Research Intern at Cadence Design Systems, focusing on datapath verification solutions. Always open to connecting with researchers, engineers, and enthusiasts in formal methods, systems, and AI!

Stackforce AI infers this person is a Software Development professional with a focus on Formal Methods and Data Analysis.

Location: Nagpur, Maharashtra, India

Experience: 0 mo