The BRADLEY DEPARTMENT of ELECTRICAL and COMPUTER ENGINEERING

ECE FACULTY

Sandeep K Shukla

Picture of Sandeep K Shukla

Office:
Virginia Tech National Capital Region Falls Church Campus

Mailing Address:
Virginia Tech National Capital RegionFalls Church Campus
Northern Virginia Center
Room 312A
7054 Haycock Road
Falls Church, VA 22043

(703) 538-8374
(540) 231-3362
shukla@vt.edu

Title:
Research Professor

Google Scholar Profile


Education:

Ph.D., State University of New York at Albany, 1997
M.S., State University of New York at Albany, 1995
B.S., Jadavpur University, 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