Ryszard Bornat

Richard Bornat (ur. 1944), brytyjski pisarz i badacz w dziedzinie informatyki . Jest także profesorem programowania komputerowego na Uniwersytecie Middlesex . Wcześniej był w Queen Mary, University of London .

Badania

Zainteresowania badawcze Bornata obejmują dowodzenie programowe w logice separacji . Skupia się na dowodach ; w przeciwieństwie do jakichkolwiek logicznych podstaw. Znaczna część pracy polega na odkrywaniu sposobów określania właściwości niezależnych modułów w sposób, który sprzyja ich składaniu w użyteczne systemy.

Bornat (we współpracy z Bernardem Sufrinem z Oxford University Computing Laboratory ) opracował Jape , kalkulator dowodowy; zajmuje się badaniami nad przydatnością tego narzędzia do eksploracji nowych dowodów.

na początku lat 80. należeli Samson Abramsky .

W 2004 roku jeden z uczniów Bornata opracował test umiejętności, który „dzieli ludzi na programistów i nie-programistów, zanim jeszcze zetkną się z programowaniem”. Test został po raz pierwszy podany grupie studentów w 2005 roku podczas eksperymentu dotyczącego wykorzystania modeli mentalnych w programowaniu. W 2008 i 2014 roku Bornat częściowo wycofał niektóre z twierdzeń, kwestionując jego ważność jako testu zdolności programowania.

Publikacje

Bornat opublikował książkę zatytułowaną „Zrozumienie i pisanie kompilatorów: przewodnik zrób to sam” , która jest uważana za jedno z najobszerniejszych zasobów na temat tworzenia kompilatorów . Chociaż przez jakiś czas był wyczerpany, teraz udostępnił go w wersji online .

Inne publikacje Bornatu to:

•   R. Bornat; 1987; Programowanie od pierwszych zasad ; Prentice Hall International Series w informatyce ; ISBN 0-13-729104-3 .
• Richarda Bornata i Harolda Thimbleby'ego; 1989; Życie i czasy Deda, redaktora wyświetlacza; w JB Long & A. Whitefield (red.); Ergonomia poznawcza i interakcja człowiek-komputer; Cambridge University Press ; s. 225–255.
• Richarda Bornata i Bernarda Sufrina;1999; Animowanie formalnego dowodu na powierzchni: kalkulator dowodu {Jape}; Dziennik komputerowy ; Tom. 42; NIE. 3; s. 177–192.
•   Aczel, JC, Fung, P., Bornat, R., Oliver, M., O'Shea, T. i Sufrin, B.; 1999; Wpływy projektowania oprogramowania na rozumowanie formalne; w Brewster, S., Cawsey, A. & Cockton, G. (red.) Proceedings of IFIP TC.13 International Conference on Human-Computer Interact '99; Tom. 2; s. 3–4; Swindon, Wielka Brytania, Brytyjskie Towarzystwo Komputerowe ; ISBN 1-902505-19-0 .
• R. Bornat; 2000; Sprawdzanie programów wskaźnikowych w Hoare Logic; w Backhouse & Oliveira (red.) MPC 2000; LNCS 1837; s. 102–126.
• C. Calcagno, P. O'Hearn, R. Bornat; 2002; Logika programu i równoważność w obecności zbierania śmieci. Pojawić się w specjalnym numerze Theoretical Computer Science na temat Foundations .

Linki zewnętrzne

• Richard Bornat (strona główna)
• Page na Uniwersytecie Middlesex