← Leaderboards
Mats P Heimdahl
University Of Minnesota-Twin Cities
$1,158,309
Attributed
$3,859,290
Total exposure
5
Grants
2
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 $2.3M · FY2008–16$2.5M$1.9M$1.3M$625K$0
'08
'09
'10
'11
'12
'13
'14
'15
'16
Funding mix
By agency
NSF$3,859,290 · 5
By mechanism
—$3,859,290 · 5
Top collaborators
- Antonia B Zhai2 shared
- Eric Van Wyk2 shared
- Gary J Balas1 shared
- Jaideep Srivastava1 shared
- Nikolaos P Papanikolopoulos1 shared
- Peter J Seiler1 shared
- Sanjai Rayadurgam1 shared
- Stephen Mccamant1 shared
Grant awards (5)
SHF: Medium: Contract-Based Black-Box Assurance$1,004,019
· FY2016 · CSE · contact PI
CPS: Medium: Embedded Fault Detection for Low-Cost, Safety-Critical Systems$1,800,000
· FY2009 · CSE
SHF: Small: In Vivo Software Monitoring: Architectural and Compiler Support$499,271
· FY2009 · CSE
MRI: Development of a Vision-based Real-Time Body Motion Tracking Instrument for Advanced Radiation Treatment$256,000
· FY2008 · CSE
A Catalytic Infrastructure for the Design, Development, and Deployment of Formal Modeling Tools$300,000
· FY2004 · CSE · contact PI