You are here: TUCS > EDUCATION > TUCS Graduate Programmes > Alumni > Linas Laibinis
Dr. Linas Laibinis
Date of doctoral defense: 14.4.2000
Degree from TUCS Department: Åbo Akademi University, Department of Information Technologies
Thesis:
Linas Laibinis, Mechanised Formal Reasoning About Modular Programs. TUCS Dissertations 24. Turku Centre for Computer Science, 2000.
Former supervisors:
Joakim von Wright (Åbo Akademi University, Department of Information Technologies)