Ralph-Johan Back#

Email:backrj 'at' abo.fi
Membership Number:1721
Main Country of Residence:FINLAND
Section:INFORMATICS
Username:rback
Homepage: http://users.abo.fi/backrj

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
  • Refinement calculus and its applications
  • Invariant based programming
  • Modeling hybrid systems
  • Teaching mathematics and programming in high school
  • Gaudi software factory
  • Incremental software construction
  • Modeling computations in the living cell


Honours and Awards

Imprint Privacy policy   « This page (revision-5) was last updated on Thursday, 13. January 2011, 14:57 by Kaiser Dana
  • operated by