Shukla named IEEE Fellow
November 27, 2013
Sandeep Shukla
November 26, 2013 — Sandeep Shukla, professor of electrical and computer engineering, has been named an IEEE Fellow for contributions to applied probabilistic model checking for system design.
The status of Fellow is one of the most prestigious honors of the institute, bestowed upon less than one-tenth of one percent of the annual voting membership of IEEE.
Shukla has been a co-founder, deputy director, and director of the Center for Embedded Systems for Critical Applications (CESCA) — a Virginia Tech research center on embedded systems. He is also the founding director of the Formal Engineering Research with Models, Abstractions and Transformations (FERMAT) laboratory, based at the Virginia Tech Arlington Research Center.
His research uses formal models and methods for computing system design, analysis, validation, and synthesis. Application areas include communication networking for the smart-grid, embedded software synthesis for safety-critical applications, verification, cyber security of critical infrastructures, and model-driven software engineering of embedded system. Currently, Shukla is focusing on cyber security of critical infrastructure as a part of the Hume Center for National Security and Technology.
Shukla is the recipient of the Presidential Early Career Award for Scientists and Engineers (PECASE) and the Friedrich Wilhelm Bessel Research Award from the Humboldt Foundation. He has been invited to attend high-profile conferences including the 2010 German-American Frontiers of Engineering Symposium and the 2007 Frontiers of Science Symposium.
An ACM Distinguished Scientist, Shukla serves as editor-in-chief for the association's Transactions on Embedded Computing Systems journal. He has published nine books and more than 200 articles in peer reviewed journals and conferences.
Shukla joined the Virginia Tech faculty in 2002. He earned his B.E. in computer science and engineering from Jadavpur University, Calcutta, India, and received his M.S. and Ph.D. in computer science from the State University of New York at Albany.