Gasthoogleraar Computer science; the theory of program construction - vanaf 1 Maart 1994
Opleiding en werk
Opleiding
Academische opleiding
Informatica
Te
University of Helsinki
Promotie(s)
Promotie
Helsinki , 31 December 1978
Proefschrift
On the correctness of refinement steps in program development
Promotor(en)
Martti Tienari
Eervolle lidmaatschappen
Finse Akademie van Wetenschappen
Functie voor benoeming
Hoogleraar Åbo Akademi in Turku (Finland)
Functie na benoeming
Hoogleraar Åbo Akademi in Turku (Finland)
Aanstelling(en) Utrecht
Gasthoogleraar Computer science; the theory of program construction
Leerstoel van
F.C. Donders wisselleerstoel
Aangesteld bij
Wiskunde en Informatica
(Faculteit Bètawetenschappen, Departement Informatica)
(Faculteit Bètawetenschappen, Departement Informatica)
Benoemd
11/02/1994
Aanvang
01/03/1994
Einde
01/06/1994
Einde vanwege
Einde tijdelijke aanstelling
Vakgebied
Informatica
Persoonlijke informatie
De heer
Titel(s)
Prof. Ph.D.
Naam
R.J.R. Back
Ralph-Johan Reinhold
Ralph-Johan Reinhold
Roepnaam
Ralph-Johan
Geboren
26/02/1949
Te
Helsinki, Finland
Nationaliteit
Finse