• Master's Programmes
• TUCS Graduate Programmes
  • Structure of the Ph.D. degree
  • Doctoral Programme in Mathematics and Computer Sciences (UTU)
  • Doctoral Network in Information Technologies and Mathematics (ÅAU)
  • EIT ICT Labs DS
  • Supervisors
  • Students
  • Alumni
• Information for Students
• Courses
• TUCS Short Courses

Dr. Anna Mikhajlova

Date of doctoral defense: 14.10.1999

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

Thesis:

Anna Mikhajlova, Ensuring Correctness of Object and Component Systems. TUCS Dissertations 18. Turku Centre for Computer Science, 1999.

Former supervisors:

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

Joakim von Wright (Åbo Akademi University, Department of Information Technologies)