Ralph-Johan Back#
| Membership Number: | 1721 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 1996 |
| Main Country of Residence: | FINLAND |
| Homepage(s): | 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
- 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
