Academische opleiding | Informatica
|
te | University of Helsinki
|
Promotie |
Helsinki, januari 1979
|
Proefschrift |
On the correctness of refinement steps in program development
|
Promotor(en) |
Martti Tienari
|
Leerstoel van |
F.C. Donders wisselleerstoel
|
Aangesteld bij |
Wiskunde en Informatica
|
Benoemd |
11 februari 1994
|
Aanvang |
1 maart 1994
|
Einde |
1 juni 1994
|
Einde vanwege |
Einde tijdelijke aanstelling
|
Vakgebied |
Informatica
|
De heer
|
|
Titel(s) |
Ph.D.
|
Naam |
R.J.R.
Back Ralph-Johan Reinhold |
Roepnaam |
Ralph-Johan
|
Geboren |
26 februari 1949
|
te |
Helsinki, Finland
|
Nationaliteit |
Finse
|