← Leaderboards

Sudarshan K Srinivasan

North Dakota State University Fargo

Google Scholar ↗PubMed ↗ORCID ↗

$777,049

Attributed

$1,114,548

Total exposure

4

Grants

4

Lead (contact PI)

Attributed= this PI's even-split share of every grant they're on (the fair, additive number). Exposure = full size of all those grants.

Funding over time

peak $450K · FY2011–25

$500K$375K$250K$125K$0

'11

'12

'13

'14

'15

'16

'17

'18

'19

'20

'21

'22

'23

'24

'25

Funding mix

By agency

NSF$1,114,548 · 4

By mechanism

—$1,114,548 · 4

Top collaborators

Grant awards (4)

EAGER: Formal Verification For Quantum Software: 1,000 Qubits and Beyond$119,159

· FY2025 · CSE · contact PI

SaTC: CORE: Small: Formal Verification Techniques For Microprocessor Security Vulnerabilities and Trojans$352,167

· FY2021 · CSE · contact PI

SHF:Small:GOALI:Formal Equivalence Checking for Quasi-Delay-Insensitive Circuits$449,999

· FY2017 · CSE · contact PI

SHF: Small:Methodologies and Tools For Verification of Nano-Pipelined Circuits and Systems$193,223

· FY2011 · CSE · contact PI