← Leaderboards
Yoonsik Cheon
University Of Texas At El Paso
$258,979
Attributed
$417,958
Total exposure
3
Grants
3
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 $168K · FY2005–09$200K$150K$100K$50K$0
'05
'06
'07
'08
'09
Funding mix
By agency
NSF$417,958 · 3
By mechanism
—$417,958 · 3
Top collaborators
- Patricia J Teller1 shared
- Steven M Roach1 shared
Grant awards (3)
Integrating Functional Program Verification Techniques to Computer Science Programs$149,959
· FY2009 · EDU · contact PI
Collaborative Research: CRI: CRD: A JML Community Infrastructure -- Revitalizing Tools and Documentation to Aid Formal Methods Research$100,000
· FY2007 · CSE · contact PI
Collaborative Research: Unification of Verification and Validation Methods for Software Systems$167,999
· FY2005 · CSE · contact PI