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