Ralph-Johan Back#

Membership Number:1721
Membership type:ORDINARY
Main Country of Residence:FINLAND

Present and Previous Positions

  • 2002 - 2006 Chairman of the Board, TUCS(leave of absence from directorship of TUCS)
  • 2002 - present Director of CREST (Center for Reliable Software Technology, Abo Akademi),
  • 2002 - 2007 Leader of Academy of Finland Center of Excellence in Research (Formal Methods in Programming)
  • 2002 - 2007 Academy Professor, the Academy of Finland
  • 1994-2005 Director for Turku Centre for Computer Science (TUCS)
  • 1988-91 Scientific Leader for TEKES Research Program in Parallel Computing and Neural Computing
  • 1986 - 88 Director for the Ministry of Educations Ph.D. education program in Computer Science
  • 1983 - present Professor in Computer Science at Abo Akademi University
  • 1982-83 Associate Professor in Computer Science at the University of Tampere
  • 1981-84 Senior Researcher at the Academy of Finland
  • 1979 Ph.D. in Computer Science from the University of Helsinki

Fields of Scholarship
  • Modeling hybrid systems
  • Modeling computations in the living cell
  • Teaching mathematics and programming in high school
  • Gaudi software factory
  • Incremental software construction
  • Invariant based programming
  • Refinement calculus and its applications

Honours and Awards

Imprint Privacy policy « This page (revision-5) was last changed on Monday, 14. June 2021, 13:59 by Kaiser Dana
  • operated by