Where academic tradition
meets the exciting future

Dr. Pontus Boström

Date of doctoral defense: 6.11.2008

Degree from TUCS Department: Åbo Akademi University, Department of Information Technologies

Thesis:

Pontus Boström, Formal Design and Verification of Systems Using Domain-Specific Languages. TUCS Dissertations 110. Turku Centre for Computer Science, 2008.

Former supervisors:

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

Marina Waldén (Åbo Akademi University, Department of Information Technologies)