Personal information
No personal information available
Activities
Employment (1)
2016-09-16
to
present
|
pre-si verification engineer
(NEX)
Employment
Source:
Surinder sood
Works (4)
2022 IEEE Asia-Pacific Conference on Computer Science and Data Engineering (CSDE)
2022-12-18
|
Conference paper
Contributors:
Manoj Kumar Munigala;
Surinder Sood;
Madhusudhan. K.N;
Ketan Baladaniya
Source:
Surinder sood
2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
2022-10-13
|
Conference paper
Contributors:
Surinder Sood;
Avinash Malik;
Partha Roop
Source:
Surinder sood
2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
2022-10-13
|
Conference paper
Contributors:
Surinder Sood;
Avinash Malik;
Partha Roop
Source:
Surinder sood
ACM Transactions on Embedded Computing Systems
2019-11-30
|
Journal article
Contributors:
Surinder Sood;
Avinash Malik;
Partha Roop
Source:
check_circle
Crossref