next up previous contents
Next: ELOMAA, Tapio Up: Faculty Previous: ALANKO, Timo

BACK, Ralph-Johan  

picture

Ph.D., Docent, Professor (Åbo Akademi)
E-mail: backrj@abo.fi
Url: http://www.abo.fi/~backrj/
Interests: program construction methods and tools, formal methods, programming language semantics, program verification, multiprocessor technology