About Me

Dr. Sandeep K. Shukla earned his Ph.D. and M.S. from the State University of New York at Albany. He specializes in applying formal methods to embedded and cyber-physical systems and embedded computing. His work focuses on enhancing the reliability, security, and efficiency of such systems through formal approaches, contributing to advancements in modern embedded technologies.