Sandeep Shukla

1 Followers

Speaker

Sandeep Shukla

Editor in Chief at ACM Transactions on Embedded Computing Systems


  • Falls Church, United States
3 event
5Industries
Following 3 events in 2 countries
My PhD is on theoretical analysis, complexity analysis and mapping of algorithmic aspects of formal verification.

Events


Experience and Education

  • Worked at

    ACM Transactions on Embedded Computing Systems ( Oct 2013 )

    Editor in Chief
  • Worked at

    Indian Institute of Technology, Kanpur ( Nov 2014 )

    Poonam and Prabhu Goel Chair Professor