Next: ELOMAA, Tapio
Up: Faculty
Previous: ALANKO, Timo
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