Sandeep K. Shukla

PhD (SUNY Albany)

Professor, Department of Computer Science and Engineering


Research Interest



  • PhD, State University of New York at Albany, 1997
    PhD thesis title: Uniform Approaches to the Formal Verification of Finite State Systems. PhD thesis supervisor: Prof. Daniel J. Rosenkrantz and Prof. Harry B. Hunt III
  • M.S. in Computer Science, State University of New York at Albany, 1995
  • B.E. in Computer Science and Engineering, Jadavpur University, Kolkata, 1991



Cyber Security, Critical Infrastructures, Smart Infrastructures, Formal Methods for System Design, Embedded Systems, Formal Verification, System Level Design.

  • H.D Patel and S. K. Shukla, Ingredients for Successful System Level Automation and Design Methodology, Monograph, Springer, Boston, MA, 2008. Pages. 208. Hardbound. ISBN 1-4020-8471-4.

  • G. Singh, and S.K. Shukla, "Low-Power Hardware Synthesis from Concurrent Action Oriented Specifications", Monograph, Springer, Boston, MA, 2010. Pages. 200. Hardbound. ISBN:1441964800.

  • Hua Lin; Veda, S.S.; Shukla, S.S.; Mili, L.; Thorp, J., "GECO: Global Event-Driven Co-Simulation Framework for Interconnected Power System and Communication Network," Smart Grid, IEEE Transactions on , vol.3, no.3, pp.1444,1456, Sept. 2012doi: 10.1109/TSG.2012.2191805.

  • Brandt, J.; Gemünde, M.; Schneider, K.; Shukla, S.; Talpin, J., "Embedding Polychrony into Synchrony," Software Engineering, IEEE Transactions on , vol.39, no.7, pp.917-929doi: 10.1109/TSE.2012.85.

  • Jean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep Shukla, "Constructive polychronous systems" Science of Computer Programming, Vol. 96,pp 377-394, 24 April 2014, ISSN 0167-6423.

Sandeep's work on applying formal verification techniques and tools to system design problems is rather unique. He was elected an IEEE fellow for his "contributions to applied probabilistic model-checking for system design". His work on designing reliability-driven nano-computing on defective substrates by novel use of probabilistic model-checking has led to a number of publications in IEEE Transactions on Nanotechnology, and Transactions on Circuits and Systems. It also resulted in a tool called NANOPRISM, and a significant amount of subsequent work on defect-tolerant computing by various research groups. Sandeep's work on creating system level design languages with ability to express distinct models of computations for distinct parts of an embedded hardware/software system led to new kernels of SystemC language. His work on meta-modeling driven component composition pre-dated the standardization effort of the SPIRIT consortium. His reduction of the 'clock calculus' (which lies at the core of the compilation of polychronous languages) to the problem of computing prime implicates in a propositional theory led to a new set of tools for multi-threaded code synthesis. US Air Force funded this work for an industrial implementation at L-3 Communications. Sandeep and his colleagues recently published a constructive operational semantics for combining synchronous programming models within polychronous models which paves the way to combine the strengths of synchronous language based software synthesis and the asynchronous concurrency model of polychronous languages. This work won an US AFOSR international grant to collaborate with INRIA , and University of Kaiserslautern. This is a first attempt to combine these two distinct approaches to synchronous model of computation. 

  • Professor Virginia Tech April 2012 – July 2015 (3 years 4 months)Falls Church, VA.

  • Director, Center for Embedded Systems for Critical Applications Virginia Polytechnic Institute and State University August 2010 – July 2012 (2 years).

  • Associate Professor Virginia Polytechnic and State University August 2007 – April 2012 (4 years 9 months).

  • Assistant Professor Virginia Tech August 2002 – July 2007 (5 years)Blacksburg, VA

  • Research Associate University of California at Irvine April 2001 – August 2002 (1 year 5 months).

  • Staff Design Engineer Intel Corporation March 1999 – March 2001 (2 years 1 month).

  • Principal Member of Technical Staff GTE Laboratories (Verizon Now) March 1997 – March 1999 (2 years 1 month).

  • Summer Member of Technical Staff Bell Laboratories May 1996 – August 1996 (4 months)Murray Hill, NJ.

  • Humboldt Bessel Award visiting faculty Technical University of Kaiserslautern April 2009 – August 2009 (5 months)Kaiserslautern, Germany.

  • Visiting Professor INRIA July 2008 – April 2009 (10 months)Rennes Area, France.

  • AFRL Information Institute Visiting Faculty Air Force Research laboratory, Information Institute May 2008 – July 2008 (3 months)Rome, NY

  • ASEE/Air Force Summer Faculty Fellow Air Force Research laboratory, Information Directorate May 2007 – August 2007 (4 months)Rome, NY

  • ASEE Senior Summer Faculty Fellow Naval Research Laboratory 2005 – 2005 (less than a year)

  • Visiting Researcher MIT June 2006 – August 2006 (3 months)Cambridge, MA

  • Graduate Research Assistant State University of New York at Albany June 2004 – December 2006 (2 years 7 months)

  • Graduate Teaching Assistant State University of New York at Albany September 1992 – June 1994 (1 year 10 months)

  • IEEE (Institute of Electrical and Electronic Engineers)

  • ACM (Association of Computing Machineries)

  • IEEE Fellow, 2014.

  • ACM Distinguished Scientist, 2013.

  • Humboldt Bessel Award 2008.

  • Distinguished Alumni Award in Science and Technology -- State University of New York, Albany, June 2007.

  • Presidential Early Career Award for Scientists and Engineers, 2003.

  • National Science Foundation CAREER Award, 2002.

  • GTE Labs Excellence Award, 1998.

  • B.C Roy Gold Medal for First Position among All Engineering Bachelors Program, Jadavpur University, 1992.

  • Gold Medal for First Position in Computer Science, Jadavpur University, 1991.

  • Ranked 14th in India in the Graduate Aptitude Test in Engineering Exam for Computer Science, 1991.

  • Jagadish Bose National Science Talent Search Scholarship Award (1987-1991).

  • National Science Talent Search Award (1985-1987).

  • Ranked 11th in the State of West Bengal for the Joint Entrance Examination for Engineering Entrance, 1987.

  • Ranked 8th in the State of West Bengal for Higher Secondary Examination, 1987.

  • Ranked 13th in the State of West Bengal for Secondary Examination, 1985.


Room No. RM508
Computer Science and Engineering Department
IIT Kanpur-208016, Uttar Pradesh, India

Office Phone: 0512-259-6342 (O)

Email: sandeeps[AT]


Birds at IIT Kanpur
Information for School Children
IITK Radio
Counseling Service