Ralph-Johan Back, the Glossary
Ralph-Johan Back is a Finnish computer scientist.[1]
Table of Contents
14 relations: Academia Europaea, Amsterdam, Åbo Akademi University, Centrum Wiskunde & Informatica, Computer scientist, Doctor of Philosophy, Finland, Finns, Refinement (computing), Refinement calculus, Research Council of Finland, Turku, University of Helsinki, University of Tampere.
- Academic staff of Åbo Akademi University
- Academic staff of the University of Tampere
- Finnish computer scientists
Academia Europaea
The Academia Europaea is a pan-European Academy of Humanities, Letters, Law, and Sciences.
See Ralph-Johan Back and Academia Europaea
Amsterdam
Amsterdam (literally, "The Dam on the River Amstel") is the capital and most populated city of the Netherlands.
See Ralph-Johan Back and Amsterdam
Åbo Akademi University
Åbo Akademi University (Åbo Akademi) is the only exclusively Swedish language multi-faculty university in Finland (or anywhere outside Sweden).
See Ralph-Johan Back and Åbo Akademi University
Centrum Wiskunde & Informatica
The Centrum Wiskunde & Informatica (abbr. CWI; English: "National Research Institute for Mathematics and Computer Science") is a research centre in the field of mathematics and theoretical computer science.
See Ralph-Johan Back and Centrum Wiskunde & Informatica
Computer scientist
A computer scientist is a scholar who specializes in the academic study of computer science.
See Ralph-Johan Back and Computer scientist
Doctor of Philosophy
A Doctor of Philosophy (PhD or DPhil; philosophiae doctor or) is a terminal degree that usually denotes the highest level of academic achievement in a given discipline and is awarded following a course of graduate study and original research.
See Ralph-Johan Back and Doctor of Philosophy
Finland
Finland, officially the Republic of Finland, is a Nordic country in Northern Europe.
See Ralph-Johan Back and Finland
Finns
Finns or Finnish people (suomalaiset) are a Baltic Finnic ethnic group native to Finland.
See Ralph-Johan Back and Finns
Refinement (computing)
Refinement is a generic term of computer science that encompasses various approaches for producing correct computer programs and simplifying existing programs to enable their formal verification.
See Ralph-Johan Back and Refinement (computing)
Refinement calculus
The refinement calculus is a formalized approach to stepwise refinement for program construction.
See Ralph-Johan Back and Refinement calculus
Research Council of Finland
The Research Council of Finland (Suomen Akatemia, Finlands Akademi) is a governmental funding body for scientific research in Finland.
See Ralph-Johan Back and Research Council of Finland
Turku
Turku (Åbo) is a city in Finland and the regional capital of Southwest Finland.
See Ralph-Johan Back and Turku
University of Helsinki
The University of Helsinki (Helsingin yliopisto, Helsingfors universitet; UH) is a public university in Helsinki, Finland.
See Ralph-Johan Back and University of Helsinki
University of Tampere
The University of Tampere (UTA) (Tampereen yliopisto (Tay)) was a public university in Tampere, Finland that was merged with Tampere University of Technology to create the new Tampere University on 1 January 2019.
See Ralph-Johan Back and University of Tampere
See also
Academic staff of Åbo Akademi University
- Aleksander Radler
- Alf Rehn
- Allan Rosas
- Alma Söderhjelm
- Arvo Viljanti
- Carl Jacob Gardberg
- Daniel Juslenius
- Douglas P. Fry
- Edvard Westermarck
- Fjalar Finnäs
- Guje Sevón
- Harriet Silius
- Harry Bouwman
- Hazel Hall (information scientist)
- Helen Cowie (bullying expert)
- Helmer Ringgren
- John Vikström
- Kaisa Sere
- Leo Törnqvist
- Maria Nikolajeva
- Martin Scheinin
- Max Engman
- Mine Yıldırım
- Nils Storå
- Olav Harald Jensen
- Otto Andersson (musicologist)
- Petri Salo
- Ralph-Johan Back
- Rolf Westman
- Sixten Ringbom
- Solveig Bergman
- Svante Dahlström
- Ulf Långbacka
- Yngve Brilioth
Academic staff of the University of Tampere
- Aaro Kauppi
- Anne-Maria Laukkanen
- Ellen Uuspõld
- Erkki Ala-Könni
- Erkki Pystynen
- Hannu Oja
- Ilkka Taipale
- Justa Holz-Mänttäri
- Kai Kalima
- Kaisa Korhonen
- Klaus Törnudd
- Leila Haaparanta
- Marjatta Hietala
- Ralph-Johan Back
- Tapio Saramäki
- Tatu Vanhanen
- Timo Leino
- Ulla Vuorela
- Vappu Taipale
- Yrjö Neuvo
- Yrjö Ruutu
Finnish computer scientists
- Aapo Hyvärinen
- Arto Salomaa
- Erkki Oja
- Esko Ukkonen
- Hannu Toivonen (professor)
- Heikki Mannila
- Ilkka Tuomi
- Jarkko Kari
- Jarkko Oikarinen
- Johan Helsingius
- Jorma Rissanen
- Juhani Karhumäki
- Kai Salomaa
- Leena Suhl
- Linus Torvalds
- Matti Pietikäinen (academic)
- Ralph-Johan Back
- Risto Miikkulainen
- Seppo Linnainmaa
- Teuvo Kohonen
- Timo Honkela
- Tuomas Sandholm
References
[1] https://en.wikipedia.org/wiki/Ralph-Johan_Back
Also known as R. J. R. Back.