Sandeep Shukla, professor of electrical and computer engineering in the College of Engineering at Virginia Tech, has been named an Institute of Electrical and Electronics Engineers 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 university's Center for Embedded Systems for Critical Applications.He is also the founding director of the Formal Engineering Research with Models, Abstractions and Transformations laboratory, based at the Virginia Tech Research Center -- Arlington.

His research uses formal models and methods for computing system design, analysis, validation, and synthesis. Application areas include communication networking for the smart-grid, and 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 and the Friedrich Wilhelm Bessel Research Award from the Humboldt Foundation. He has been invited to attend major conferences including the 2010 German-American Frontiers of Engineering Symposium and the 2007 Frontiers of Science Symposium.

An Association for Computing Machinery 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 received his bachelor's degree from Jadavpur University (India) and his master's degree and Ph.D. from the State University of New York at Albany.

Written by Eileen Quirk Baumann.

Share this story