Funding, Tim Menzies
 Share
The version of the browser you are using is no longer supported. Please upgrade to a supported browser.Dismiss

 
View only
 
 
ABCDEFGHIJKLMN
1
grant: sole PI co-PI (expended by TM: )Resaerch expenditureGrants- Co-PI (total) Research expenditure
2
startfinishFunding bodyNamegift? ABC=A + BDE=C+Dcurrent?new for may2017- april2018sum for may2017- april2018
3
4
5
20182018LAS (NSA)How to make a magican$35,00035,000$35,000yesyes
6
20172021NSFAutotuning$0$450,000450,000$450,000$900,000yesyes$1,200,000
7
20172017IBMAutomated SE: Faculty grant y$40,00040,000$40,000yesyes
8
20152018Lexis Nexis (Raleigh)Validation laby$120,000120,000$120,000yes
9
20172017Lexis Nexis (Atlanta)Understanding policiesy$35,00035,000$35,000yes
10
20172017Lexis Nexis (Atlanta)The agreement machiney$35,00035,000$35,000yes
11
20172917LAS (NSA)Privitized data sharing$35,00035,000$35,000yes
12
13
20162016IBMAutomated SE: Faculty grant y$40,000$040,000$0$40,000yes
14
20162018NSFReu: Science of Software$10,00010,000$345,365$355,365yes
15
20162016Lexis NexisOptimization of ML for Big Datay$50,000$050,000$0$50,000
16
20162016SEIOptimization business process$75,000$075,000$0$75,000
17
20152017NCDSAShare Care Beware$60,000$060,000$0$60,000yes
18
20152018Lexis NexisValidation laby$120,000120,000$120,000
19
20152015JPLEffort Estimation (year2)$30,00030,000$30,000
20
20142015Lexis NexisScripting for Big datay$50,00050,000$50,000
21
20132017NSFTransfer Learning in SE 622,030622,030529,773$1,151,803yes
22
20132014NASA (JPL)Effort estimation47,00047,000$47,000
23
20122016USDA
Early Childhood Obesity Program
$133,526$133,526$133,526
24
20122013NSFNew directions in AI and SE$14,700$14,700$14,700
25
20102012Dod STTRv)Active Learning$230,514$230,514$230,514
26
20102014NSF (CISE)Better Understanding of SE data $249,500$249,500$499,000$748,500
27
20102012Qatar Resarch Int Center of Excellence in SE $98,125$98,125$196,250$294,375
28
20102011CITREBorder Crossing$70,000$70,000$70,000
29
20102011National ForensicsOvercoming Brittleness$35,721$35,721$35,721
30
20092010National ArchivesSTEP Research $209,000$209,000$418,000$627,000
31
20082009National archivesSTEP research $143,500$143,500$574,000$717,500
32
20082011NSF (CISE)Automatic Quality Assessment$180,000$180,000$360,000$540,000
33
20082009National ForensicsConclusion stability$80,000$80,000$80,000
34
20082008NASAUnderstanding Anomalies.$58,000$58,000$58,000
35
20082008NASACrystal Ball.$55,000$55,000$55,000
36
20082008NASAAdvanced UML modeling.$50,000$50,000$50,000
37
20072008NASAApplied Technology Lab$95,551$95,551$95,551
38
20072008Dod STTRvNext generation metrics: phase 1$40,715$40,715$40,715
39
20072007NASAWVU Liaison$39,707$39,707$39,707
40
20072008IndustrialAnalysis metrics (Galaxy Global)$25,000$25,000$25,000
41
20072008National archivesSTEP research$15,482$15,482$15,482
42
20062007NASALearning software process model$113,255$113,255$113,255
43
20062007NASAImproving IV&V Techniques$107,990$107,990$107,990
44
20062006NASAco-op agreement supplemental funds$14,916$14,916$59,665$74,581
45
20062006NASAco-op funds for Eisland Hall Lab$30,000$30,000$30,000
46
sum since tenure (2006+)$1,932,161$1,977,071$3,909,232$3,432,053$7,376,285
47
48
20052005NASAHow to Argue Less: $260,000$260,000$260,000
49
20052005NASASpectrum of Model Checking Methods$160,000$160,000$160,000
50
20052005NASARisk/Cost models for Autonomy$160,000$160,000$160,000
51
20052005NASAHow much will it cost? $122,161$122,161$122,161
52
20052005NASA SBITIntelligent Vehicle Health Management: $65,000$65,000$65,000
53
20042004NASASpectrum of Model Checking Methods$160,000$160,000$160,000
54
20042005NASAA next-generation testable language$70,000$70,000$70,000
55
20042004NASAThe research rover$48,000$48,000$48,000
56
20032005NASAUnderstanding models better$107,000$107,000$107,000
57
20032003NASAModel checking & procedural languages$50,000$50,000$50,000
58
20032003NASA
See more! Learn more! Tell more!
$47,000$47,000$47,000
59
20022003NASAA spectrum of IV&V techniques$200,000$200,000$200,000
60
20022002NASABetter risk modelling$27,000$27,000$27,000
61
20012001NASATree query languages$27,000$27,000$27,000
62
20002000Canada Res. Coun.NSERC grant$81,000$81,000$81,000
63
19981999NASA
High Quality Knowledge Initiative
$110,000$110,000$110,000
64
19971998Aust. Res. Coun
Abduction for software engineering
$10,000$10,000$10,000
65
19961998UNSW
Vice-Chancellor's Research Fellowship
$135,000$135,000$135,000
66
Total (1996 to 2005)$1,839,161$0$1,839,161$0$1,839,161
67
Total (ALL)$3,771,322$1,977,071$5,748,393$3,432,053$9,215,446
68
69
Loading...
 
 
 
Sheet1