SS

Sandeep K. Shukla

Also known as: Sandeep Kumar Shukla

Indian Institute of Technology Kanpur, Virginia Polytechnic Institute and State University - Northern Virginia Center, State University of New York at Albany, Jadavpur University

ORCID iD 0000-0001-5525-7426
Follow

About

Sandeep Shukla is an IEEE fellow; and ACM Distinguished Scientist, and a professor of Computer Engineering at Virginia Tech. Shukla has been a co-founder 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 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.
Sandeep has been an ACM Distinguished Speaker, and IEEE Computer Society Distinguished Visitor, and serves as editor-in-chief for the association's Transactions on Embedded Computing Systems journal. He has been associate editors for four IEEE journals, and guest editors for 15 different special issues of IEEE and ACM journals. He has published nine books and more than 200 articles in peer reviewed journals and conferences. Sandeep has been an ASEE/ONR senior summer faculty to Naval Research Labs, ASEE/AFRL senior summer faculty to Air Force Labs in Rome, and a summer research visitor to MIT. He has been a visiting professor at the French national institute of Computer Science and Automation (INRIA) during 2008-09, and has been a Humboldt fellow to the University of Kaiserslautern in Germany.
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.

Employment

  • Indian Institute of Technology Kanpur Professor
    2015 - Present
  • Virginia Polytechnic Institute and State University - Northern Virginia Center Professor
    2002 - Present
  • University of California At Irvine Reseach Associate
    2001 - 2002
  • Intel Corporation Staff Component Design Engineer
    1999 - 2001
  • GTE Labs (Verizon) Principal Member of Technical Staff
    1997 - 1999

Education

  • State University of New York at Albany PhD
    1992 - 1997
  • State University of New York at Albany M.S
    1992 - 1995
  • Jadavpur University B.E
    1987 - 1991

Projects & Funding

Projects & funding information is unavailable.

Publications (147)