Sandeep Shukla
Sandeep Shukla | |
---|---|
Born | September 23, Expression error: Unexpected > operator |
Known for | System Security |
Website | https://security.cse.iitk.ac.in/node/96 |
Sandeep Kumar Shukla was a faculty at the Virginia Polytechnic Institute, Arlington, Virginia between 2002 and 2015. In 2014, he was named Fellow of the Institute of Electrical and Electronics Engineers (IEEE) in 2014[1] for contributions to applied probablistic model checking for system design. He is currently heading the department of computer science at IIT Kanpur. He has authored several books on systems
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
References
- ^ "2014 elevated fellow". IEEE Fellows Directory.
{{cite web}}
: Cite has empty unknown parameter:|dead-url=
(help)