Ralph-Johan Back
http://dbpedia.org/resource/Ralph-Johan_Back an entity of type: Thing
Ralph-Johan Reinholdt Back, född 26 februari 1949 i Helsingfors, är en finländsk datalog. Back blev filosofie doktor 1979. Han utsågs 1983 till professor i informationsbehandling vid Åbo Akademi och utnämndes 2002 till akademiprofessor. Han har varit gästprofessor vid California Institute of Technology och i Utrecht. Hans forskningsinsatser gäller utvecklingen av effektivare och mer pålitliga datorprogram. Sedan 1996 är han ledamot av Academia Europaea. och sedan 2002 av Finska Vetenskapsakademien
rdf:langString
Ralph-Johan Back is a Finnish computer scientist. Back originated the refinement calculus, an important approach to the formal development of programs using stepwise refinement, in his 1978 PhD thesis at the University of Helsinki, On the Correctness of Refinement Steps in Program Development. He has undertaken much subsequent research in this area. He has held positions at CWI Amsterdam, the Academy of Finland and the University of Tampere. Back is a member of Academia Europaea.
rdf:langString
rdf:langString
Ralph-Johan Back
rdf:langString
Ralph-Johan Back
rdf:langString
Ralph-Johan Back
rdf:langString
Ralph-Johan Back
xsd:integer
2776139
xsd:integer
1104276417
rdf:langString
Computer scientist
rdf:langString
Ralph-Johan Back is a Finnish computer scientist. Back originated the refinement calculus, an important approach to the formal development of programs using stepwise refinement, in his 1978 PhD thesis at the University of Helsinki, On the Correctness of Refinement Steps in Program Development. He has undertaken much subsequent research in this area. He has held positions at CWI Amsterdam, the Academy of Finland and the University of Tampere. Since 1983, he has been Professor of Computer Science at the Åbo Akademi University in Turku. For 2002–2007, he was an Academy Professor at the Academy of Finland. He is Director of CREST (Center for Reliable Software Technology) at Åbo Akademi. Back is a member of Academia Europaea.
rdf:langString
Ralph-Johan Reinholdt Back, född 26 februari 1949 i Helsingfors, är en finländsk datalog. Back blev filosofie doktor 1979. Han utsågs 1983 till professor i informationsbehandling vid Åbo Akademi och utnämndes 2002 till akademiprofessor. Han har varit gästprofessor vid California Institute of Technology och i Utrecht. Hans forskningsinsatser gäller utvecklingen av effektivare och mer pålitliga datorprogram. Sedan 1996 är han ledamot av Academia Europaea. och sedan 2002 av Finska Vetenskapsakademien
xsd:nonNegativeInteger
2615