CSE IIT Bombay's RISC 2025 Formal Methods- Theory and Practice by Dr. Vrunda Dave

#CSEIITBombay #RISC2025 #formalmethods Formal Methods- Theory and Practice by Dr Vrunda Dave https://www.cse.iitb.ac.in/~risc/2025/ "I will present my research journey in formal methods, with focus on the theory of string transformations. The discussion on string transformation will touch upon diverse topics like logic, automata, algebra, constraints. Finally I will discuss the importance of formal methods in industry, the kind of problems we face in the hardware industry and the need for continuous innovation in this area" Vrunda Dave received her PhD from CSE department, IIT Bombay under the guidance of Prof. Krishna S. For her thesis on “Some Fundamental Problems and Applications of Word Transformations”, she received Honorable Mention for ACM India Doctoral Dissertation Award’22, and an Excellence for Ph.D Research award from CSE Department, IIT Bombay. She was also a finalist for the E. W. Beth Outstanding Dissertation Prize’22. She works as an Architectural Formal Verification Engineer at Intel. https://www.linkedin.com/in/vrunda-dave-phd-7171593b/?originalSubdomain=in