You are here: TUCS > EDUCATION > TUCS Graduate Programmes > Alumni > Viorel Preoteasa
Dr. Viorel Preoteasa
Date of doctoral defense: 10.11.2006
Degree from TUCS Department: Åbo Akademi University, Department of Information Technologies
Thesis:
Viorel Preoteasa, Program Variables – The Core of Mechanical Reasoning about Imperative Programs. TUCS Dissertations 79. Turku Centre for Computer Science, 2006.
Former supervisors:
Ralph-Johan Back (Åbo Akademi University, Department of Information Technologies)