Where academic tradition
meets the exciting future

Dr. Orieta Celiku

Date of doctoral defense: 6.10.2006

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

Admitted to TUCS GP on 15.9.1997

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)

Latest publications:

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

Update your graduate project title and abstract.