Prof.dr. R.J.R. Back (1949 - )
Gasthoogleraar Computer science; the theory of program construction vanaf 1 maart 1994
Opleiding
| Academische opleiding | Informatica
|
| te | University of Helsinki
|
Promotie(s)
| Promotie |
Helsinki, januari 1979
|
| 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)
Gasthoogleraar Computer science; the theory of program construction
| 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
|
