Sandeep Shukla is a professor in the Bradley Department of Electrical and Computer Engineering at Virginia Polytechnic and State University. He leads the Formal Engineering Research with Models, Abstractions, and Transformations (FERMAT) laboratory, and is also affiliated with the Hume Center for National Security and Technology located at the Virginia Tech Arlington Research Center in Arlington, VA.

His research interests are in applying formal models, methods, and model-based reasoning, analysis, and synthesis techniques to the area of embedded system design. He has received research grants from the US National Science Foundation (NSF), the Semiconductor Research Consortium (SRC), the US Air Force Laboratories, and the Office of the US Secretary of Defense for his current work. He has also received funding from industry leaders, such as Intel, Bluespec Inc., and Cebatech Inc. Sandeep received the Presidential Early Career Award for Scientists and Engineers (PECASE) in 2004, as well as the Freidrich Wilhelm Bessel Award from the Humboldt Foundation of Germany in 2008. In addition, he was named the Association for Computing Machinery (ACM) Distinguished Scientist in November 2012 and a Fellow of IEEE in November 2013.

Sandeep has written nine books and over 150 research papers, which were published in top-ranked journals and conference proceedings, such as IEEE Transactions on Nanotechnology, Formal Aspects of Computing, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, the ACM-SIAM Symposium on Discrete Algorithms, and the Conference on Design, Automation and Test, and have been widely referenced. He is the editor in chief of ACM Transactions on Embedded Computing Systems, in addition to his role as a category editor for Computing Reviews. He has served as an associate editor for multiple journals, including IEEE Transactions on Computers, IEEE Embedded Systems Letters, IEEE Design & Test, IEEE Transactions on Industrial Informatics, CSI Journal of Computing, and the ISRN Journal of Software Engineering. He has also guest edited over 15 special issues for various IEEE and ACM journals over the last 12 years. Sandeep has also served as an ACM Distinguished Speaker and an IEEE Computer Society Distinguished Visitor.

He has been working in the field of embedded systems from hardware to software for over 12 years, and has worked closely with scientists from INRIA (France), the University of Kaiserslautern (Germany), the Royal Institute of Technology (Sweden), and Oxford University (UK).