Where academic tradition
meets the exciting future

Dr. Marina Walden

Date of doctoral defense: 17.9.1998

TUCS Department for the doctoral studies: Åbo Akademi University, Department of Information Technologies


Marina Waldén, Formal Reasoning About Distributed Algorithms. TUCS Dissertations 10. Turku Centre for Computer Science, 1998.

Former supervisors:

Ralph-Johan Back (Åbo Akademi University, Department of Information Technologies)

Kaisa Sere (Åbo Akademi University, Department of Information Technologies)

Latest publications:

Click here to see the full list of publications from the TUCS Publication Database

Marta Olszewska, Fatima Shokri-Manninen, Andrew Edmunds, Marina Waldén, Improving the Modelling Experience in Event-B - A Literature Review. TUCS Technical Reports 1196, 2018.

Sergey Ostroumov, Marina Waldén, Visual Component-Based Development of Formal Models. In: Mira Kajko-Mattsson, Pål Ellingsen, Paolo Maresca (Eds.), The Third International Conference on Advances and Trends in Software Engineering (SoftEng), 43–50, IARIA, 2017.

Proceedings of the 29th Nordic Workshop on Programming Theory, TUCS Lecture Notes, TUCS, 2017.

Update your graduate project title and abstract.