24:
52:
32:
306:
106:
341:
78:
85:
125:
92:
259:
74:
56:
48:
37:
277:
41:
183:
99:
336:
191:
167:
222:
63:
199:
187:
179:
195:
330:
263:
225:. His public lecture was on "Proving that programs eventually do something good".
202:. Byron's recent work has been focused on the development of automatic tools for
294:
321:
228:
Cook was elected as a Fellow of the Royal
Academy of Engineers in 2019.
281:
62:
from the article and its talk page, especially if potentially
17:
212:
Discovering invariants regarding mutable data structures.
245:
163:
155:
147:
140:
8:
137:
55:about living persons that is unsourced or
126:Learn how and when to remove this message
206:Proving properties of biological models,
237:
322:http://www0.cs.ucl.ac.uk/staff/b.cook/
186:. Byron's research interests include
209:Termination and liveness proving, and
7:
75:"Byron Cook" computer scientist
14:
22:
198:, logic, hardware design, and
1:
33:biography of a living person
342:British computer scientists
246:"University College London"
159:computer science researcher
60:must be removed immediately
358:
194:, programming languages,
184:University College London
307:Amazon Web Services blog
278:"SLAyer project website"
221:In 2009, Cook won the
47:Please help by adding
260:"T2 project website"
168:Termination analysis
53:Contentious material
295:Roger Needham Award
284:on 8 December 2008.
223:Roger Needham Award
217:Awards and Prizes
200:operating systems
173:
172:
136:
135:
128:
110:
36:needs additional
349:
309:
304:
298:
292:
286:
285:
280:. Archived from
274:
268:
267:
266:on 26 June 2015.
262:. Archived from
256:
250:
249:
242:
188:program analysis
180:computer science
138:
131:
124:
120:
117:
111:
109:
68:
49:reliable sources
26:
25:
18:
357:
356:
352:
351:
350:
348:
347:
346:
327:
326:
318:
313:
312:
305:
301:
293:
289:
276:
275:
271:
258:
257:
253:
244:
243:
239:
234:
219:
196:theorem proving
178:is an American
143:
132:
121:
115:
112:
69:
67:
46:
27:
23:
12:
11:
5:
355:
353:
345:
344:
339:
329:
328:
325:
324:
317:
316:External links
314:
311:
310:
299:
297:at BCS website
287:
269:
251:
236:
235:
233:
230:
218:
215:
214:
213:
210:
207:
182:researcher at
176:Dr. Byron Cook
171:
170:
165:
164:Known for
161:
160:
157:
153:
152:
149:
145:
144:
142:Dr. Byron Cook
141:
134:
133:
116:September 2011
57:poorly sourced
30:
28:
21:
13:
10:
9:
6:
4:
3:
2:
354:
343:
340:
338:
337:Living people
335:
334:
332:
323:
320:
319:
315:
308:
303:
300:
296:
291:
288:
283:
279:
273:
270:
265:
261:
255:
252:
247:
241:
238:
231:
229:
226:
224:
216:
211:
208:
205:
204:
203:
201:
197:
193:
189:
185:
181:
177:
169:
166:
162:
158:
154:
150:
146:
139:
130:
127:
119:
108:
105:
101:
98:
94:
91:
87:
84:
80:
77: –
76:
72:
71:Find sources:
65:
61:
58:
54:
50:
44:
43:
39:
34:
29:
20:
19:
16:
302:
290:
282:the original
272:
264:the original
254:
240:
227:
220:
192:verification
175:
174:
122:
113:
103:
96:
89:
82:
70:
59:
42:verification
35:
15:
148:Nationality
331:Categories
232:References
156:Occupation
86:newspapers
38:citations
151:American
64:libelous
100:scholar
102:
95:
88:
81:
73:
107:JSTOR
93:books
31:This
79:news
40:for
333::
51:.
248:.
190:/
129:)
123:(
118:)
114:(
104:·
97:·
90:·
83:·
66:.
45:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.