Evgenia Foustoucos
courses given
| Course | Semester | |
|---|---|---|
| Λ02Π. | Topics of logic in computer science | 2002-2003, spring semester |
| Π18. | Logic programming | 2002-2003, fall semester |
| Π18. | Logic programming | 2000-2001, fall semester |
| Λ98Α. | Logic Programming II | 1998-1999, fall semester |
| Π18. | Logic programming | 1997-1998, spring semester |
| 5 courses. | ||
seminars given
| date | title | |
|---|---|---|
| 2002/05/24 | Datalog with greatest fixed points can express various temporal logics | |
| 1999/12/17 | Persistency numbers of Datalog programs | |
| 2 seminars. | ||
PhD theses supervised
| title | student | defense |
|---|---|---|
| Monadic Second Order Logic and Parameterized Complexity on Structures of Bounded Treewidth | 2012-05-01 | |
| 1 PhD thesis. | ||
MSc theses supervised
| title | student | defense |
|---|---|---|
| MSO-evaluation and automata | 2004-11-01 | |
| 1 MSc thesis. | ||