Eleni Kalyvianaki: student profile
|Enrolled in:||October 2000|
|Graduated on:||Thursday, 13 Dec 2007|
Title: Algorithmic natural language semantics---A study of Locality in the Theory of Referential Intensions.
Defended: Saturday, 01 Sep 2007.
|Enrolled in:||October 1997|
|Graduated on:||Friday, 14 Jul 2000|
Title: Formal verification and scheduling for real-time systems.
Defended: Saturday, 01 Jul 2000.