“Sandeep Shukla”的意思、由来-开放百科全书

词条

Sandeep Shukla

释义

Teaching Interests
Research Interests
Bibliography
References
External links

Sandeep Kumar Shukla is currently Poonam and Prabhu Goel Chair Professor and Head of Computer Science and Engineering Department, Indian Institute of Technology, Kanpur, India. He is currently the Editor-in-Chief of ACM Transactions on Embedded Systems, and associate editor for ACM transactions on Cyber Physical Systems.

Professor Sandeep K. Shukla is an IEEE fellow, an ACM Distinguished Scientist, and served as an IEEE Computer Society Distinguished Visitor during 2008-2012, and as an ACM Distinguished Speaker during 2007-2014. In the past, he has been associate editors for IEEE Transactions on Computers, IEEE Transactions on Industrial Informatics, IEEE Design & Test, IEEE Embedded Systems Letters, and many other journals.

He was a faculty at the Virginia Tech, Arlington, Virginia between 2002 and 2015. In 2014, he was named Fellow of the Institute of Electrical and Electronics Engineers (IEEE)^[1] for contributions to applied probablistic model checking for system design. He has authored several books on systems

Professor Sandeep K. Shukla also has been a visiting faculty at INRIA, France and University of Kaiserslautern, Germany{{Infobox scientist

| name = Sandeep Shukla
| image =
| image_size = 29 KB
| known_for = System Security
| website = https://security.cse.iitk.ac.in/node/96
| birth_place = India
}}

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

Bibliography

Nano, Quantum and Molecular Computing Implications to High Level Design and Validation, Springer Publishing, 2004, {{ISBN|9781402080685}}
Formal Methods and Models for System Design A System Level Perspective, Springer Publishing, 2004, {{ISBN|9781402080524}}
SystemC Kernel Extensions for Heterogeneous System Modeling A Framework for Multi-MoC Modeling & Simulation, Springer Publishing, 2004, {{ISBN|9781402080883}}
Ingredients for Successful System Level Design Methodology, Springer Publishing, 2008, {{ISBN|9781402084720}}
Fundamental Problems in Computing, Springer Publishing, 2009, {{ISBN|9781402096884}}
Metamodeling-Driven IP Reuse for SoC Integration and Microprocessor Design, Artech House Publishing, 2009, {{ISBN|9781596934245}}
Synthesis of Embedded Software, Springer Publishing, 2010, {{ISBN|9781441964007}}
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications, Springer Publishing, 2010, {{ISBN|9781441964816}}
Low Power Design with High-Level Power Estimation and Power-Aware Synthesis, Springer Publishing, 2012, {{ISBN|9781461408727}}

References

1. ^{{Cite web|url=https://www.ieee.org/2014Fellowclass|title=2014 elevated fellow|last=|first=|date=|website=IEEE Fellows Directory|archive-url=|archive-date=|dead-url=|access-date=}}

External links

[https://www.cse.iitk.ac.in/users/sandeeps/ CSE IIT Kanpur]

4 : Fellow Members of the IEEE|Living people|Distinguished Members of the ACM|Year of birth missing (living people)

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。