← Leaderboards
Geoffrey C Sutcliffe
University Of Miami
$763,629
Attributed
$1,137,689
Total exposure
5
Grants
5
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 $467.6K · FY2007–17$500K$375K$250K$125K$0
'07
'08
'09
'10
'11
'12
'13
'14
'15
'16
'17
Funding mix
By agency
NSF$1,137,689 · 5
By mechanism
—$1,137,689 · 5
Top collaborators
- Burton Rosenberg1 shared
- Huseyin Kocak1 shared
- Jennifer L Morse1 shared
- Victor C Pestien1 shared
Grant awards (5)
Collaborative Research: CI-SUSTAIN: StarExec: Cross-Community Infrastructure for Logic Solving$446,850
· FY2017 · CSE · contact PI
CI-EN: SystemOnTPTP - Online Services for Automated Theorem Proving in Classical Logic$57,219
· FY2014 · CSE · contact PI
Collaborative Research: CI-ADDO-NEW: StarExec: Cross-Community Infrastructure for Logic Solving$150,295
· FY2011 · CSE · contact PI
Collaborative Research: CI-ADDO-NEW: *-EXEC: A Cross-Community Solver Execution Service$15,750
· FY2010 · CSE · contact PI
Computer Science and Mathematics for Scientists$467,575
· FY2007 · EDU · contact PI