Sandeep Shukla — CEO
My PhD is on theoretical analysis, complexity analysis and mapping of algorithmic aspects of formal verification. After my PhD, I worked in a telecommunications network management software lab where I developed distributed algorithms and their implementations for network management systems, and did research on middleware based distributed object technology. However, after 2 years in the telecom industry, I went back to my roots, and joined the formal verification team at Intel, working on the formal property verification of the ITANIUM processor microarchitecture, and while being at Intel, I took up interest in high level system modeling languages, simulation, and high level/behavioral synthesis. I was in a pilot team of experts for looking into various possible system design languages for a future generation IA64 processor design team. Eventually, I became a part of an IA64 Platform architecture group where I had to formally specify IA64 bus protocols and automatically generate checkers etc. In 2001, after 4 years of industry exposure, I decided to go back to academia. So I joined a post doctoral research associate position at the center for embedded computer systems at the University of California at Irvine. There, I started working on dynamic system level power management, IP composition for SoC design, formal methods for system design and other problems related to embedded system design. In fall 2002, I joined Virginia Polytechnic and State University as an assistant professor of computer engineering. My research lab is called FERMAT (Formal Engineering Research with Models, Abstractions and Transformations) whose website http://fermat.ece.vt.edu will provide more details of our research. Specialties: Teaching, Research, research supervision, project management, mentoring of students
Stackforce AI infers this person is a cybersecurity and formal verification expert with extensive academic and industry experience.
Location: Hyderabad, Telangana, India
Experience: 38 yrs 4 mos
Career Highlights
- Expert in formal verification and system design languages.
- Director roles in multiple cybersecurity initiatives.
- Strong academic background with extensive research experience.
Work Experience
CDACINDIA
Member of Governing Council (4 mos)
International Institute of Information Technology Hyderabad (IIITH)
Director (7 mos)
IBDIC (Indian Banks' Digital Infrastructure Company)
Member, Advisory Board (1 yr 4 mos)
Star Union Dai-ichi Life Insurance Company Limited
Member, Information Security Risk Management Committee (2 yrs 2 mos)
International Financial Services Centres Authority
Committee Member, Expert Committee on Asset Tokenization (2 yrs 6 mos)
Member, Cyber Security Advisory Committee (2 yrs 7 mos)
Insurance Regulatory and Development Authority of India
Member Interdisciplinary standing committee on Cyber Security (2 yrs 6 mos)
Department of Computer Science and Engineering, IIT Kanpur
Rajiv and Ritu Batra Endowed Chair for Cyber Security (2 yrs 1 mo)
Kotak Securities
Cyber Security Advisor to the IT Strategy and Security Committee at Kotak Securities Ltd. (2 yrs 10 mos)
National Payments Corporation Of India (NPCI)
Member, Technology Advisory Committee (3 yrs 2 mos)
Kotak Mahindra Bank
Member, IT Strategy Committee (3 yrs 4 mos)
Bureau Of Police Research and Development (BPRD)
Expert Member, Standing Committee on Police Research (SCPR) (3 yrs 7 mos)
Society of Eletronic Transaction and Security
Member, Governing Council (4 yrs 7 mos)
ReBIT | Reserve Bank Information Technology Pvt Ltd.
Director (4 yrs 8 mos)
Ministry of Power, Government of India
Member, Empowered Committee for Cyber Security in Power Sector (5 yrs 6 mos)
C3ihub Technology Innovation Hub in Cyber Security and Cyber Security of Cyber Physical Systems
Program Director (4 yrs 11 mos)
Securities and Exchange Board of India
Member, High Powered Committee on Cyber Security (6 yrs 9 mos)
Indian Institute of Technology, Kanpur
Head of the Department, Computer Science and Engineering (3 yrs 2 mos)
Coordinator, Interdisciplinary Center for Cyber Security and Cyber Defense of Critical Infrastructur (9 yrs 4 mos)
Poonam and Prabhu Goel Chair Professor and Dr. Deep Singh and Daljeet Kaur Faculty Fellow (2 yrs 11 mos)
ACM Transactions on Embedded Computing Systems
Editor in Chief (6 yrs 4 mos)
Virginia Tech
Professor (3 yrs 3 mos)
Virginia Polytechnic Institute and State University
Director, Center for Embedded Systems for Critical Applications (1 yr 11 mos)
Technical University of Kaiserslautern
Humboldt Bessel Award visiting faculty (4 mos)
INRIA
Visiting Professor (9 mos)
Air Force Research laboratory, Information Institute
AFRL Information Institute Visiting Faculty (2 mos)
Virginia Polytechnic and State University
Associate Professor (4 yrs 8 mos)
Air Force Research laboratory, Information Directorate
ASEE/Air Force Summer Faculty Fellow (3 mos)
MIT
Visiting Researcher (2 mos)
Naval Research Laboratory
ASEE Senior Summer Faculty Fellow (0 mo)
Virginia Tech
Assistant Professor (4 yrs 11 mos)
University of California at Irvine
Research Associate (1 yr 4 mos)
Intel Corporation
Staff Design Engineer (2 yrs)
GTE Laboratories (Verizon Now)
Principal Member of Technical Staff (2 yrs)
Bell Laboratories
Summer Member of Technical Staff (3 mos)
State University of New York at Albany
Graduate Teaching Assistant (1 yr 9 mos)
Graduate Research Assistant (4 yrs 4 mos)
Jadavpur University
Student (5 yrs)
Education
PhD at University at Albany
MS at State University of New York - System
BE at Jadavpur University
Higher Secondary certificate at St. Xavier's College
School leaving certificate at New Alipore Multipurpose School
