ECE: Electrical & Computer Engineering
ECE Faculty

Sandeep Shukla

Photograph of Sandeep ShuklaOffice/ Mailing Address: Virginia Tech National Capital Region—Falls Church Campus
7054 Haycock Rd.
Room No. 312A
Falls Church, VA 22043
Tel: (703) 538-8374
Fax: (540) 231-3362 Email: shukla


Google Scholar Profile

Title: Research Professor

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


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