Sandeep K. Shukla
Sandeep K. Shukla serves as a Professor of computer engineering at Virginia Polytechnic and State University, Blacksburg, VA, USA. He is also a Founder and past Director of the Center for Embedded Systems for Critical Applications (CESCA), and Director of the FERMAT Research Lab. He has published more than 150 articles in journals, books, and conference proceedings. He coauthored and coedited 8 books. He was awarded the PECASE (Presidential Early Career Award for Scientists and Engineers) award for his research in design automation for embedded systems design, which in particular focuses on system level design languages, formal methods, formal specification languages, probabilistic modeling and model checking, dynamic power management, application of stochastic models and model analysis tools for fault-tolerant nanoscale system design, reliability measurement of fault-tolerant nanosystems, and embedded software engineering. Professor Shukla has also been elected as a College of Engineering Faculty Fellow at Virginia Tech. He was invited to the Annual Symposium of the National Academy of Engineering in 2005 and to the Annual Symposium of the National Academy of Sciences in 2007, both very selective forums for young scientists to be invited to. Again, in 2010 he was invited to US-German Frontiers of Engineering conference from the US National Academy of Engineering. He also received the Humboldt Foundation's Bessel Award which is given for life-time achievement for extraordinary accomplishments within the first 12 years of completion of a Ph.D. degree. Professor Shukla is a Senior Member of the IEEE and of ACM. Shukla has been Invited Professor or Researcher at the University of Birmingham, UK, INRIA/IRISA, France, and Massachusetts Institute of Technology, USA. He has also been ASEE/ONR Senior Faculty Fellow at the Naval Research Labs, USA, in 2005, and ASEE/Air Force Faculty Fellow at the Air Force Labs, Rome, NY, USA, in 2007 and 2008.
Biography Updated on 30 April 2013