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