← Leaderboards
John C Knight
Florida Atlantic University
$1,453,443
Attributed
$5,685,718
Total exposure
9
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.
Funding over time
peak $1.6M · FY2005–09$2M$1.5M$1M$500K$0
'05
'06
'07
'08
'09
Funding mix
By agency
NSF$5,685,718 · 9
By mechanism
—$5,685,718 · 9
Top collaborators
- Anh Nguyen-Tuong3 shared
- Thomas B Horton3 shared
- Houston G Wood2 shared
- Jack W Davidson2 shared
- Andrew S Grimshaw1 shared
- Christopher W Milner1 shared
- David E Evans1 shared
- Glenn S Wasson1 shared
Grant awards (9)
SHF: Medium: Assurance Based Development: A Rational Approach To Creating High Assurance Software$250,000
· FY2009 · CSE · contact PI
CT-T: Practical Formal Verification By Specification Extraction$815,998
· FY2007 · CSE · contact PI
CSR: EHS: Assurance-Based Development of Critical Embedded Systems$65,000
· FY2007 · CSE · contact PI
CT-T: A System Structure for Secretless Security$1,650,000
· FY2005 · CSE · contact PI
SCI: ITR-(NHS+ASE)-(int+dmc): Dependable Grids$2,100,000
· FY2004 · CSE
ITR: Collaborative Research: Natural Language in the Development of High Confidence Software$600,000
· FY2002 · CSE · contact PI
Next Generation Laboratories in Computer Science Education$75,000
· FY2002 · EDU · contact PI
Prototyping a Software Engineering Educational Community$55,039
· FY2001 · EDU
Prototyping a Software Engineering Educational Community$74,681
· FY2000 · EDU