← Leaderboards
Maciej Ciesielski
University Of Massachusetts Amherst
$1,557,698
Attributed
$1,557,698
Total exposure
6
Grants
6
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. They are the sole PI on all grants (the two match).
Funding over time
peak $450K · FY2007–20$500K$375K$250K$125K$0
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
'18
'19
'20
Funding mix
By agency
NSF$1,557,698 · 6
By mechanism
—$1,557,698 · 6
Top collaborators
No co-investigators on record.
Grant awards (6)
SHF: Small: Formal Verification of SQRT and Divider Circuits$399,998
· FY2020 · CSE · contact PI
SHF: Small: Word-level Abstraction of Arithmetic Gate-level Circuits$450,000
· FY2016 · CSE · contact PI
Verification-Aware Algorithmic Synthesis based on Canonical Data Flow Representation$299,640
· FY2007 · CSE · contact PI
SBIR Phase I: HW-Accelerated Verification with TestBench Caching and Reduced Design Compilation$100,000
· FY2004 · TIP · contact PI
US-France/Germany Cooperative Research: Circuit and System Verification using Word-Level Information$22,060
· FY2003 · O/D · contact PI
Taylor Expansion Diagrams: A Compact Canonical Representation for RTL Verification$286,000
· FY2002 · CSE · contact PI