267:
282:
426:
86:
416:
421:
50:
377:
431:
401:
319:
411:
406:
370:
446:
441:
312:
436:
46:
20:
363:
74:
351:
293:
65:
in
Machine-Assisted Theorem Proving for Software Engineering (1991–1994) from the University of Oxford.
305:
98:
90:
42:
396:
217:
19:
This article is about Andrew Philip Martin. For other uses (e.g., Andrew C. R. Martin), see
110:
30:
8:
266:
343:
241:
118:
196:
281:
82:
237:
38:
347:
289:
122:
78:
97:. Before taking up his current post in 1999, he was briefly a lecturer in the
390:
166:
142:
94:
427:
Members of the
Department of Computer Science, University of Oxford
114:
45:
in Cyber
Security (2013-2023) and deputy director and lecturer in
34:
257:
210:
61:
He obtained BA in
Mathematics and Computation (1986–1989) and
62:
81:
as
Industrial Software Engineer. After his DPhil, he became
261:
218:"Publication of Dr. Andrew Martin:Oxford University"
388:
143:"Centre for Doctoral Training in Cyber Security"
51:Oxford University Department of Computer Science
161:
159:
417:Academic staff of the University of Queensland
371:
313:
288:This article about a British scientist is a
156:
422:Academics of the University of Southampton
378:
364:
320:
306:
265:
342:This biographical article relating to a
238:Andrew Martin: Publication List Details
29:is a British computer scientist at the
389:
191:
189:
187:
185:
183:
167:"Dr Andrew Martin: Oxford University"
87:Software Verification Research Centre
329:
276:
180:
13:
432:Fellows of Kellogg College, Oxford
402:Alumni of the University of Oxford
197:"Andrew Martin: Oxford University"
73:After his first degree, he joined
14:
458:
251:
280:
104:
231:
135:
47:Software Engineering Programme
1:
128:
75:Praxis High Integrity Systems
39:Professor of Systems Security
350:. You can help Knowledge by
292:. You can help Knowledge by
109:Martin's publications cover
56:
43:Centre for Doctoral Training
7:
412:British computer scientists
407:English computer scientists
10:
463:
328:
275:
18:
16:British computer scientist
99:University of Southampton
68:
447:Computer scientist stubs
91:University of Queensland
49:. He is a member of the
442:British scientist stubs
437:Formal methods people
264:Bibliography Server
111:software engineering
31:University of Oxford
344:computer scientist
242:Scientific Commons
41:, Director of the
359:
358:
301:
300:
119:trusted computing
454:
380:
373:
366:
335:P ≟ NP
330:
322:
315:
308:
284:
277:
269:
258:Andrew P. Martin
245:
235:
229:
228:
226:
224:
214:
208:
207:
205:
203:
193:
178:
177:
175:
173:
163:
154:
153:
151:
149:
139:
462:
461:
457:
456:
455:
453:
452:
451:
387:
386:
385:
384:
337:
327:
326:
273:
254:
249:
248:
236:
232:
222:
220:
216:
215:
211:
201:
199:
195:
194:
181:
171:
169:
165:
164:
157:
147:
145:
141:
140:
136:
131:
125:in particular
121:in general and
107:
83:Research Fellow
71:
59:
24:
17:
12:
11:
5:
460:
450:
449:
444:
439:
434:
429:
424:
419:
414:
409:
404:
399:
383:
382:
375:
368:
360:
357:
356:
339:
333:
325:
324:
317:
310:
302:
299:
298:
285:
271:
270:
253:
252:External links
250:
247:
246:
230:
209:
179:
155:
133:
132:
130:
127:
123:formal methods
106:
103:
70:
67:
58:
55:
37:, where he is
15:
9:
6:
4:
3:
2:
459:
448:
445:
443:
440:
438:
435:
433:
430:
428:
425:
423:
420:
418:
415:
413:
410:
408:
405:
403:
400:
398:
397:Living people
395:
394:
392:
381:
376:
374:
369:
367:
362:
361:
355:
353:
349:
345:
340:
336:
332:
331:
323:
318:
316:
311:
309:
304:
303:
297:
295:
291:
286:
283:
279:
278:
274:
268:
263:
259:
256:
255:
243:
239:
234:
219:
213:
198:
192:
190:
188:
186:
184:
168:
162:
160:
144:
138:
134:
126:
124:
120:
116:
112:
102:
100:
96:
92:
88:
84:
80:
76:
66:
64:
54:
52:
48:
44:
40:
36:
32:
28:
27:Andrew Martin
22:
21:Andrew Martin
352:expanding it
341:
334:
294:expanding it
287:
272:
233:
221:. Retrieved
212:
200:. Retrieved
170:. Retrieved
146:. Retrieved
137:
108:
105:Publications
72:
60:
26:
25:
391:Categories
223:10 October
202:10 October
172:10 October
148:19 January
129:References
95:Australia
57:Education
115:security
89:in the
85:at the
35:England
338:
69:Career
346:is a
63:DPhil
348:stub
290:stub
262:DBLP
225:2010
204:2010
174:2010
150:2015
79:Bath
260:at
93:in
393::
240:,
182:^
158:^
117:,
113:,
101:.
77:,
53:.
33:,
379:e
372:t
365:v
354:.
321:e
314:t
307:v
296:.
244:.
227:.
206:.
176:.
152:.
23:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.