About

Sandeep Shukla is a Professor of Computer Science and Engineering at the prestigious Indian Institute of Technology, Kanpur. He holds a PhD in theoretical analysis, complexity analysis, and mapping of algorithmic aspects of formal verification. His expertise includes teaching, research, research supervision, project management, and mentoring of students. After completing his PhD, he worked in a telecommunications network management software lab where he developed distributed algorithms and their implementations for network management systems. He also did research on middleware-based distributed object technology. Later, he joined the formal verification team at Intel, where he worked on the formal property verification of the ITANIUM processor microarchitecture. During his tenure at Intel, he took up an interest in high-level system modeling languages, simulation, and high-level/behavioral synthesis. He was a part of a pilot team of experts looking into various possible system design languages for a future generation IA64 processor design team. In 2001, after four years of industry exposure, Sandeep decided to go back to academia and joined the Center for Embedded Computer Systems at the University of California at Irvine as a post-doctoral research associate. There, he started working on dynamic system-level power management, IP composition for SoC design, formal methods for system design, and other problems related to embedded system design. In 2002, he joined Virginia Polytechnic and State University as an assistant professor of computer engineering. Currently, Sandeep is a member of the Technology Advisory Committee of the National Payments Corporation of India. He has also served as a member of the IT Strategy Committee of Kotak Mahindra Bank and as a director on the Board of Directors of REBIT, a Reserve Bank of India-owned company for providing information technology and cybersecurity services. Sandeep's education history includes a PhD in Computer Science from the University at Albany, an MS in Computer Science from the State University of New York, and a BE in Computer Science and Engineering from Jadavpur University. He has also completed Higher Secondary Certificate from St. Xavier's College and School Leaving Certificate from New Alipore Multipurpose School. Sandeep's tech stack includes research scientist, and he has relevant experience of 16.78 years. He is the founder of the Formal Engineering Research with Models, Abstractions, and Transformations (FERMAT) research lab, and his website provides more details about his research.