Recent News:
Shukla named ACM Distinguished Scientist (Nov. 2012)
EEWeb featured engineer (Oct. 2012)
New embedded software design class to be offered this spring (Oct. 2012)
ICTAS research awards 2012 (July 2012)
Sandeep Shukla promoted to Professor (June 2012)
Shukla publishes book on low power design (Nov. 2011)
Shukla publishes books on hardware, embedded software synthesis (Sept. 2010)
New computing simulation tool nets best paper award for Shukla and colleagues (Feb. 2010)
Shukla invited to Frontiers of Engineering Symposium (Jan. 2010)
Guaranteeing bug-free software for critical embedded systems (Jan. 2010)
Souping up hardware sim speed (2010 Annual Report)
Resilient, sustainable infrastructures (2009 Annual Report)
Creating a visual environment for safety-critical embedded software (2009 Annual Report)
Shukla receives Humboldt Foundation Award (May 2008)
Safety-critical embedded software: Correct by construction? (2008 Annual Report)
Embedded computers research by Virginia Tech's Shukla attracts national attention (July 2007)
Nano electronics bring mega design challenges (2007 Annual Report)
Researchers from Virginia Tech and beyond meet to advance nanocomputing (April 2006)
New defect-tolerant architectures needed for rampant unreliability in nanotechnology (Feb. 2004)
Boosting the productivity of embedded systems designers (2003 Annual Report)
Office:
VT-ARC 5-032
Mailing Address:
900 N. Glebe Road
Virginia Tech Arlington Research Center
Arlington, VA 22203
Tel:
571-858-3336
Fax:
(540) 231-3362
vt.edu Email: shukla
Affiliated Research Group
Hume Center for National Security and Technology
Title: Professor
Education:
Ph.D., State University of New York at Albany, 1997
M.S., State University of New York at Albany, 1995
B.E., Jadavpur University, Calcutta, India, 1991
Teaching Interests:
Formal methods, System level design for hardware, software, and embedded systems, Network application design, Formal verification, Stochastic methods in embedded systems design, Embedded software engineering, System synthesis
Research Interests:
Formal methods, System level design languages and frameworks, Component based and platform based design, System level power management, Formal verification and its use in system design, Concurrency analysis, Embedded systems design and co-design, Software engineering for embedded aystems, Distributed object technology and its application in embedded systems design, Networked embedded systems, Self-stabilization and fault-tolerant distributed systems
Videos
Textbooks Published
Low Power Design with High-Level Power Estimation and Power-Aware Synthesis
Ahuja, Sumit, Lakshminarayana, Avinash, Shukla, Sandeep K.
(Springer) 2012
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
Singh, Gaurav, Shukla, Sandeep K.
(Springer) 2010
Synthesis of Embedded Software
Editors: Shukla, Sandeep K.; Talpin, Jean-Pierre
(Springer) 2010
Fundamental
Problems in Computing - Essays in Honor of Professor Daniel J. Rosenkrantz
Editors: Ravi, S.S.; Shukla, Sandeep K.
(Springer Netherlands) 2009
Metamodeling-Driven
IP Reuse for SoC Integration and Microprocessor Design
Authors: Mathaikutty, Deepak A.; Shukla, Sandeep
Copyright 2009
Ingredients
for Successful System Level Design Methodology
Authors: Patel, Hiren D., Shukla, Sandeep Kumar (Springer), 2008
SystemC Kernel Extensions for Heterogeneous System Modeling: A Framework for Multi-MoC Modeling & Simulation
Authors: Patel, Hiren D., Shukla, Sandeep Kumar
(Kluwer Academic (Springer) Publishers), 2004, E-Book
Formal Methods and Models for System Design: A System Level Perspective
Authors: Gupta, R.; Le Guernic, P.; Shukla, S.K.; Talpin, J.-P. (Eds.)
(Kluwer Academic (Springer) Publishers), 2004, E-Book
Nano, Quantum and Molecular Computing Implications to High Level Design and Validation
Authors: Shukla, Sandeep Kumar; Bahar, R. Iris (Eds.)
(Kluwer Academic (Springer) Publishers), 2004, E-Book