← Leaderboards
Jose Meseguer
University Of Illinois At Urbana-Champaign
$2,099,997
Attributed
$3,604,830
Total exposure
9
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 $1.3M · FY2005–14$2M$1.5M$1M$500K$0
'05
'06
'07
'08
'09
'10
'11
'12
'13
'14
Funding mix
By agency
NSF$3,604,830 · 9
By mechanism
—$3,604,830 · 9
Top collaborators
- Carl A Gunter1 shared
- Grigore Rosu1 shared
- Indranil Gupta1 shared
- Jennifer C Hou1 shared
- Lui Sha1 shared
- Nitin H Vaidya1 shared
- Samuel T King1 shared
Grant awards (9)
CSR: Medium: Availability-Consistency Tradeoffs in Key-Value and NoSQL Storage Systems$584,508
· FY2014 · CSE
TWC: Small: Collaborative: Extensible Symbolic Analysis Modulo SMT: Combining the Powers of Rewriting, Narrowing, and SMT Solving in Maude$250,000
· FY2013 · CSE · contact PI
TC: Medium: Collaborative Research: Rewriting Logic Foundations for Verification and Programming of Next-Generation Trustworthy Web-Based Systems$300,000
· FY2009 · CSE · contact PI
TC: Medium: Collaborative Research: Unification Laboratory: Increasing the Power of Cryptographic Protocol Analysis Tools$240,000
· FY2009 · CSE · contact PI
Collaborative Research: CT-M: Unification Laboratory for Cryptographic Protocol Analysis$50,000
· FY2008 · CSE · contact PI
CSR EHS: Formal Model Based Health and Medical System Composition$750,000
· FY2007 · CSE
CT-ISG: Attacker Models and Verification Methods for End-to-End Protocol Security$500,000
· FY2007 · CSE · contact PI
Collaborative Research: CT-T: DoS Prevention in Shared Channels$530,322
· FY2005 · CSE
Scalable Formal Methods for Multidimensional Components$400,000
· FY2002 · CSE