33:
215:(UNSW) from 1965 to 2012, initially in the Department of Electronic Computation under Professor Murray Allen. During 1987–1989 he was Head of the Department of Computer Science and during 1996–2000 he was Head of the Department of
687:
559:
563:
532:
358:
Software
Engineering program at UNSW and with the program coordinator subsequently. He also initiated the BE Computer Engineering program. In 1990, he received the
682:
672:
385:
236:
571:
667:
454:
380:
424:
444:
432:
406:
Carrington, D. A.; Robinson, K. A. (January 1991). "Refinement of two graph problems". In Morris, Joseph M.; Shaw, Roger C. (eds.).
436:
519:
513:
507:
501:
677:
567:
313:
212:
143:
115:
466:
224:
220:
355:
232:
271:
240:
184:
32:
662:
657:
248:
244:
216:
200:
97:
86:
259:
483:
160:
440:
359:
298:
294:
228:
475:
394:
279:
133:
514:
Draft
Computer Science and Engineering Timeline 1955 – 2007, Revision date: March 19 19:43
411:
420:
336:
317:
291:
164:
101:
651:
329:
328:
operating system. This arrived in 1975, making UNSW the first university outside the
487:
616:
458:
196:
383:; Robinson, K. A. (September 1987). "Specification statements and refinement".
624:
479:
348:
188:
321:
287:
180:
168:
56:
629:
340:
105:
398:
344:
267:
255:
192:
335:
Robinson's later research and teaching was especially centred around
309:
283:
263:
74:
370:
Robinson died on 5 September 2020. He was married with a family.
508:
40 Years at UNSW and the Birth of CSE, A Search for a
Discipline
325:
275:
316:, used for teaching and administration. Ken Robinson wrote to
302:
457:; Hoang, Thai Son; Robinson, Ken; Treharne, Helen (2006).
308:
In 1974, the
Department of Computer Science at UNSW had a
219:. He held visiting positions in the United Kingdom at the
254:
In 1971, Robinson's courses in computer science included
429:
118:
Vice-Chancellor's Award for
Teaching Excellence (1990)
159:(30 July 1938 – 5 September 2020) was an Australian
688:
Academic staff of the
University of New South Wales
139:
129:
111:
93:
82:
63:
42:
23:
596:Robinson, Ken (2016). "Kenneth Arthur Robinson".
520:Reasons for need for Computer Engineering program
502:Reasons for Software Engineering Program Proposal
362:Vice-Chancellor's Award for Teaching Excellence.
533:UNSW School of Computer Science and Engineering
179:Ken Robinson was born in 1938. He received his
8:
611:
609:
607:
564:School of Computer Science and Engineering
20:
510:(Ken Robinson, UNSW, 28 January 28, 2011)
16:Australian computer scientist (1938–2020)
305:assembler was too slow for student use.
544:
386:IBM Journal of Research and Development
554:
552:
550:
548:
237:Oxford University Computing Laboratory
7:
591:
589:
459:"Tank monitoring: a pAMN case study"
163:. He has been called "The Father of
570:. 18 September 2020. Archived from
516:(Ken Robinson, UNSW, 19 March 2007)
14:
433:Lecture Notes in Computer Science
683:Software engineering researchers
522:(Ken Robinson, UNSW, circa 1988)
31:
632:. February 2021. pp. 26–31
157:Kenneth ("Ken") Arthur Robinson
673:Australian computer scientists
617:"Ken Robinson – A Remembrance"
427:; Robinson, Ken, eds. (2002).
354:Robinson designed the initial
301:written by Robinson since the
1:
568:University of New South Wales
314:Digital Equipment Corporation
213:University of New South Wales
144:University of New South Wales
116:University of New South Wales
668:University of Sydney alumni
504:(Ken Robinson, UNSW 1990's)
467:Formal Aspects of Computing
704:
560:"Remembering Ken Robinson"
410:. Workshops in Computing.
225:Programming Research Group
480:10.1007/s00165-006-0004-5
324:requesting a copy of the
221:University of Southampton
150:
122:
30:
231:as a visiting fellow at
175:Early life and education
408:4th Refinement Workshop
366:Personal life and death
332:to run Unix regularly.
239:and B-Core (1999), and
211:Robinson worked at the
199:in 1961, both from the
25:Kenneth Arthur Robinson
312:/40 minicomputer from
272:University of Waterloo
266:(a student version of
241:Royal Holloway College
185:electrical engineering
678:Formal methods people
374:Selected publications
297:. The latter used an
249:University of Surrey
245:University of London
217:Software Engineering
201:University of Sydney
98:Software engineering
87:University of Sydney
455:Schneider, Steve A.
414:. pp. 241–257.
399:10.1147/rd.315.0546
339:, particularly the
278:for students, from
260:Stanford University
574:on 20 October 2020
435:. Vol. 2272.
421:Bowen, Jonathan P.
161:computer scientist
425:Henson, Martin C.
360:University of NSW
299:assembler program
295:assembly language
229:Oxford University
154:
153:
124:Scientific career
695:
642:
641:
639:
637:
621:
613:
602:
601:
593:
584:
583:
581:
579:
556:
491:
463:
450:
415:
402:
134:Computer science
70:
67:5 September 2020
52:
50:
35:
21:
703:
702:
698:
697:
696:
694:
693:
692:
648:
647:
646:
645:
635:
633:
628:. Vol. 1.
619:
615:
614:
605:
595:
594:
587:
577:
575:
558:
557:
546:
541:
529:
498:
461:
453:
447:
418:
412:Springer-Verlag
405:
379:
376:
368:
235:(1985–86), the
233:Wolfson College
223:(1978–79), the
209:
177:
83:Alma mater
78:
72:
68:
59:
54:
48:
46:
38:
26:
17:
12:
11:
5:
701:
699:
691:
690:
685:
680:
675:
670:
665:
660:
650:
649:
644:
643:
603:
585:
543:
542:
540:
537:
536:
535:
528:
525:
524:
523:
517:
511:
505:
497:
494:
493:
492:
474:(3): 308–328.
451:
445:
419:Bert, Didier;
416:
403:
393:(5): 546–555.
375:
372:
367:
364:
337:formal methods
318:Dennis Ritchie
292:IBM System/360
208:
205:
187:in 1959 and a
176:
173:
165:Formal Methods
152:
151:
148:
147:
141:
137:
136:
131:
127:
126:
120:
119:
113:
109:
108:
102:formal methods
95:
94:Known for
91:
90:
84:
80:
79:
73:
71:(aged 82)
65:
61:
60:
55:
44:
40:
39:
36:
28:
27:
24:
15:
13:
10:
9:
6:
4:
3:
2:
700:
689:
686:
684:
681:
679:
676:
674:
671:
669:
666:
664:
661:
659:
656:
655:
653:
631:
627:
626:
618:
612:
610:
608:
604:
599:
592:
590:
586:
573:
569:
565:
562:. Australia:
561:
555:
553:
551:
549:
545:
538:
534:
531:
530:
526:
521:
518:
515:
512:
509:
506:
503:
500:
499:
495:
489:
485:
481:
477:
473:
469:
468:
460:
456:
452:
448:
446:3-540-43166-7
442:
438:
434:
430:
426:
422:
417:
413:
409:
404:
400:
396:
392:
388:
387:
382:
381:Morgan, C. C.
378:
377:
373:
371:
365:
363:
361:
357:
352:
350:
346:
342:
338:
333:
331:
330:United States
327:
323:
319:
315:
311:
306:
304:
300:
296:
293:
289:
285:
281:
277:
273:
269:
265:
261:
257:
252:
250:
246:
242:
238:
234:
230:
226:
222:
218:
214:
206:
204:
202:
198:
194:
190:
186:
182:
174:
172:
170:
166:
162:
158:
149:
145:
142:
138:
135:
132:
128:
125:
121:
117:
114:
110:
107:
103:
99:
96:
92:
88:
85:
81:
76:
66:
62:
58:
45:
41:
34:
29:
22:
19:
634:. Retrieved
623:
597:
576:. Retrieved
572:the original
471:
465:
428:
407:
390:
384:
369:
353:
334:
307:
253:
210:
178:
156:
155:
140:Institutions
123:
69:(2020-09-05)
53:30 July 1938
37:Ken Robinson
18:
663:2020 deaths
658:1938 births
197:mathematics
146:(Australia)
89:(Australia)
77:, Australia
652:Categories
625:FACS FACTS
578:20 October
539:References
349:Rodin tool
347:, and the
274:), Plago (
247:) and the
189:BSc degree
49:1938-07-30
322:Bell Labs
288:Bell Labs
270:from the
181:BE degree
169:Australia
57:Australia
636:28 March
630:BCS-FACS
527:See also
437:Springer
341:B-Method
280:Brooklyn
251:(2003).
106:B-Method
345:Event-B
290:), and
268:FORTRAN
256:ALGOL W
193:physics
496:Online
486:
443:
310:PDP-11
286:(from
284:SNOBOL
264:WATFOR
258:(from
207:Career
130:Fields
112:Awards
75:Sydney
620:(PDF)
488:93435
484:S2CID
462:(PDF)
638:2021
580:2020
441:ISBN
326:Unix
276:PL/I
195:and
64:Died
43:Born
476:doi
395:doi
320:at
303:IBM
282:),
262:),
227:at
191:in
183:in
171:".
167:in
654::
622:.
606:^
598:CV
588:^
566:,
547:^
482:.
472:18
470:.
464:.
439:.
431:.
423:;
391:31
389:.
356:BE
351:.
343:,
203:.
104:,
100:,
640:.
600:.
582:.
490:.
478::
449:.
401:.
397::
243:(
51:)
47:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.