Theodoros Andronikos
-
Lecturer,
Department of Informatics, Ionian University
-
National and Technical University of Athens
-
MPLA
seminars given
| date | title | |
|---|---|---|
| 2003/04/04 | Automatic system verification and synthesis | |
| 1 seminar. | ||
MSc theses supervised
| title | student | defense |
|---|---|---|
| Edge coloring in graphs | 2004-12-01 | |
| The web as a graph | 2004-12-01 | |
| Arthur-Merlin games and interactive proof systems | 2004-12-01 | |
| 3 MSc theses. | ||
Further information
- Teacher profile (for extra information about courses given).