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
 
 
ABCDEFGHIJKLMNOPQRS
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 Feb2019- febl2020sum for Feb2018- febl2019 yearnet
3
2,0051,849,961
4
20062,175,787
5
20192022NSFMega-Transfer 499,371$499,371yesyes$2,945,026$1,354,1392,0072,392,242
6
20192020Darpasail-on v&v ai70,000$70,000yesyes
7
20202020LAS (NSA)fariness is a choce164,000$164,000yesyes
8
20192020NSFWorkforce Empowerment98,000$950,139yesyes20083,892,742
9
20192020Lexis NexisLeverage (year2)y120,000$120,000yesyes2,0094,519,742
10
20192020FacebookGood via constructiony50,000$50,000yesyes20105,898,852
11
20192022NSFEmpirical SE for Computational Science592,129$592,129yesyes2,0115,898,852
12
20192022NSFScience of Vulnerability Detection249,999249,999249,999$499,387yesyes20126,047,078
13
20182018Lexis Nexis (Atlanta)Entiry recognitiony$40,00040,000$40,000 2,0137,245,881
14
20182018IBMAnalytics: SE faculty awardy$40,00040,000$40,000 20147,295,881
15
20192019LAS (NSA)How safe is this conclusion $50,00050,000$50,000 $5,239,9912,0157,505,881
16
20182019Lexis Nexis (Raleigh)configure cloud + test casesy$110,000110,000$110,000 20168,026,246309628
17
201820119NSFEmpirical SE for Computational Science$124,600124,600 $124,600 2,0179,191,246
18
20182018LAS (NSA)How to make a magican$35,00035,000$35,000 20189,460,846
19
20172021NSFAutotuning$0$450,000450,000$450,000$900,000 $4,404,6262,01912,535,872
20
20172017IBMAutomated SE: Faculty grant y$40,00040,000$40,000 2020
21
20152018Lexis Nexis (Raleigh)y$120,000120,000$120,000 2,021
22
20172017Lexis Nexis (Atlanta)Validation laby$35,00035,000$35,000 2022
23
20172017Lexis Nexis (Atlanta)The agreement machiney$35,00035,000$35,000 2,023
24
20172017LAS (NSA)Privitized data sharing$35,00035,000$35,000 20240
25
20162016IBMAutomated SE: Faculty grant y$40,000$040,000$0$40,000 2,025
26
20162018NSFReu: Science of Software$10,00010,000$345,365$355,365 2026
27
20162016Lexis NexisOptimization of ML for Big Datay$50,000$050,000$0$50,000
28
20162016SEIOptimization business process$75,000$075,000$0$75,000
29
20152017NCDSAShare Care Beware$60,000$060,000$0$60,000 5,239,991
30
20152018Lexis NexisValidation laby$120,000120,000$120,000
31
20152015JPLEffort Estimation (year2)$30,00030,000$30,000
32
20142015Lexis NexisScripting for Big datay$50,00050,000$50,000
33
20132017NSFTransfer Learning in SE 622,030622,030529,773$1,151,803
34
20132014NASA (JPL)Effort estimation47,00047,000$47,000 5,209,991
35
20122016USDAEarly Childhood Obesity Program$133,526$133,526$133,526
36
20122013NSFNew directions in AI and SE$14,700$14,700$14,700
37
20102012Dod STTRv)Active Learning$230,514$230,514$230,514
38
20102014NSF (CISE)Better Understanding of SE data $249,500$249,500$499,000$748,500
39
20102012Qatar Resarch Int Center of Excellence in SE $98,125$98,125$196,250$294,375
40
20102011CITREBorder Crossing$70,000$70,000$70,000249,999
41
20102011National ForensicsOvercoming Brittleness$35,721$35,721$35,721
42
20092010National ArchivesSTEP Research $209,000$209,000$418,000$627,000
43
20082009National archivesSTEP research $143,500$143,500$574,000$717,500
44
20082011NSF (CISE)Automatic Quality Assessment$180,000$180,000$360,000$540,000
45
20082009National ForensicsConclusion stability$80,000$80,000$80,000
46
20082008NASAUnderstanding Anomalies.$58,000$58,000$58,000
47
20082008NASACrystal Ball.$55,000$55,000$55,000
48
20082008NASAAdvanced UML modeling.$50,000$50,000$50,000490,000
49
20072008NASAApplied Technology Lab$95,551$95,551$95,551
50
20072008Dod STTRvNext generation metrics: phase 1$40,715$40,715$40,715
51
20072007NASAWVU Liaison$39,707$39,707$39,707
52
20072008IndustrialAnalysis metrics (Galaxy Global)$25,000$25,000$25,000
53
20072008National archivesSTEP research$15,482$15,482$15,482
54
20062007NASALearning software process model$113,255$113,255$113,255
55
20062007NASAImproving IV&V Techniques$107,990$107,990$107,990
56
20062006NASAco-op agreement supplemental funds$14,916$14,916$59,665$74,581
57
20062006NASAco-op funds for Eisland Hall Lab$30,000$30,000$30,000
58
sum since tenure (2006+)$2,331,761$2,227,070$6,152,331$3,682,052$10,685,9119,825,911
59
60
20052005NASAHow to Argue Less: $260,000$260,000$260,000
61
20052005NASASpectrum of Model Checking Methods$160,000$160,000$160,000
62
20052005NASARisk/Cost models for Autonomy$160,000$160,000$160,000
63
20052005NASAHow much will it cost? $126,161$126,161$126,161
64
20052005NASA SBITIntelligent Vehicle Health Management: $65,000$65,000$65,000
65
20042004NASASpectrum of Model Checking Methods$160,000$160,000$160,000
66
20042005NASAA next-generation testable language$70,000$70,000$70,000
67
20042004NASAThe research rover$48,000$48,000$48,0002,775
68
20032005NASAUnderstanding models better$107,000$107,000$107,000
69
20032003NASAModel checking & procedural languages$50,000$50,000$50,000
70
20032003NASASee more! Learn more! Tell more!$47,800$47,800$47,800850
71
20022003NASAA spectrum of IV&V techniques$200,000$200,000$200,000
72
20022002NASABetter risk modelling$29,000$29,000$29,000
73
20012001NASATree query languages$29,000$29,000$29,000
74
20002000Canada Res. Coun.NSERC grant$83,000$83,000$83,000
75
19981999NASA High Quality Knowledge Initiative$110,000$110,000$110,000
76
19971998Aust. Res. CounAbduction for software engineering$10,000$10,000$10,000
77
19961998UNSWVice-Chancellor's Research Fellowship$135,000$135,000$135,000
78
Total (1996 to 2005)$1,849,961$0$1,849,961$0$1,849,961
79
Total (ALL)$4,181,722$2,227,070$8,002,292$3,682,052$12,535,87211,685,872
80
106
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
Loading...