← Leaderboards
Michael S Hsiao
Rutgers University New Brunswick
$3,436,797
Attributed
$6,878,736
Total exposure
14
Grants
8
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 $1.2M · FY2005–21$2M$1.5M$1M$500K$0
'05
'06
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
'21
Funding mix
By agency
NSF$6,878,736 · 14
By mechanism
—$6,878,736 · 14
Top collaborators
- Jung-Min Park2 shared
- Allen B Mackenzie1 shared
- Charles W Bostian1 shared
- Danfeng Yao1 shared
- Dong S Ha1 shared
- France Belanger1 shared
- Janine S Hiller1 shared
- Joseph G Tront1 shared
Grant awards (14)
SHF CORE: Small: Hybrid NLP and Formal Techniques for Synthesizing Assertions and Identifying Ambiguities from English$499,821
· FY2021 · CSE · contact PI
SHF:Small:Design Validation Using Multiple Concurrent Abstract Models and GPGPUs$434,345
· FY2014 · CSE · contact PI
Cyber Security I/UCRC$973,500
· FY2011 · CSE
SHF: Small: Exploring Swarm Intelligence for Design Validation$379,439
· FY2010 · CSE · contact PI
NeTs: An open architecture for the evolutionary design of routing protocols$150,001
· FY2009 · CSE
SGER: Semi-Formal Design Validation with Swarm Intelligence$135,000
· FY2008 · CSE · contact PI
NetS-ProWiN: An Enabling Technology for Wireless Networks - The VT Cognitive Engine$766,250
· FY2005 · CSE
CT-ISG: POCKET: A Technical and Behavioral Concept for Protecting Children's Online Privacy$449,999
· FY2005 · CSE · contact PI
Formal Verification of Large Sequential Systems Using Success-Driven ATPG$225,000
· FY2003 · CSE · contact PI
ITR: Architecture for Surviving Denial-of-Service Attacks on Battery-powered Mobile Computers$444,154
· FY2002 · CSE
ITR/SI: Cooperative Computing for Distributed Embedded Systems$1,518,752
· FY2001 · CSE
Digital Spectral Analysis for Mixed-Signal System-on-a-Chip Testing and Verification$513,521
· FY2001 · CSE
CAREER: Spectral Techniques for Functional Testing of Sequential Circuits and System-On-A-Chip$326,686
· FY2001 · CSE · contact PI
CAREER: Spectral Techniques for Functional Testing of Sequential Circuits and System-On-A-Chip$62,268
· FY2001 · CSE · contact PI