You are here: TUCS > EDUCATION > TUCS Graduate Programmes > Alumni > Orieta Celiku
Dr. Orieta Celiku
Date of doctoral defense: 6.10.2006
Degree from TUCS Department: Åbo Akademi University, Department of Information Technologies
Thesis:
Orieta Celiku, Mechanized Reasoning for Dually-Nondeterministic and Probabilistic Programs. TUCS Dissertations 77. Turku Centre for Computer Science, 2006.
Former supervisors:
Kaisa Sere (Åbo Akademi University, Department of Information Technologies)
Joakim von Wright (Åbo Akademi University, Department of Information Technologies)