Foustoukou Evgenia

Evgenia Foustoukou (Eugenie Foustoucos) studied Mathematics, Philosophy and Informatics in Paris. After she got her PhD from the University of Orsay - Paris Sud, she returned to Greece and started collaborating with the Inter-university Graduate Program in Logic, Algorithms and Computation (MPLA).
She has been teaching/research collaborator of MPLA for many years as well as collaborating instructor of the Hellenic Open University for several years.
Her research interests focus on Mathematical Logic and applications of Logic in Computer Science (Database Theory, Query Languages, Logic Programming, Algorithms and Computation Theory, Computational / Descriptive Complexity, Ontologies, Automata Theory and Program Verification, Temporal Logics).
Since 2006 she is teaching at the Department of Informatics of the 黑料科 of Economics and Business where she has been elected Assistant Professor in 2008, was appointed in 2010 and became permanent Assistant Professor in 2014.
Selected publications:
I. Guessarian, E. Foustoucos, Th. Andronikos, F. Afrati, On Temporal Logic versus Datalog, TCS (Theoretical Computer Science) 303, 2003, pp. 103-133.
E. Foustoucos and L. Kalantzi. The monadic second-order logic evaluation problem on finite colored trees: a database theoretic approach. Fundamenta Informaticae, 92(3):193-231, 2009.
S. Cosmadakis, E. Foustoucos, A. Sidiropoulos, Undecidability and intractability results concerning Datalog programs and their persistency numbers, ToCL (ACM Transactions in Computational Logic) Vol. 11(2), 2010.
听
* 韦慰 黑料科 未蔚谓 蠁苇蟻蔚喂 魏伪渭委伪 蔚蠀胃蠉谓畏 蠈蟽慰谓 伪蠁慰蟻维 蟽蟿畏谓 伪魏蟻委尾蔚喂伪 蟿蠅谓 蟽蟿慰喂蠂蔚委蠅谓 蟿慰蠀 蟽蠀谓慰蟺蟿喂魏慰蠉 魏伪喂 蟿慰蠀 蟺位萎蟻慰蠀蟼 尾喂慰纬蟻伪蠁喂魏慰蠉 蟿蠅谓 渭蔚位蠋谓 蟿慰蠀 蟺蟻慰蟽蠅蟺喂魏慰蠉, 蠈蟺蠅蟼 伪蠀蟿维 伪谓伪蟻蟿蠋谓蟿伪喂 蟽蟿畏谓 喂蟽蟿慰蟽蔚位委未伪 蟿慰蠀. 螚 蔚蠀胃蠉谓畏 伪谓萎魏蔚喂 伪蟺慰魏位蔚喂蟽蟿喂魏维 魏伪喂 渭蠈谓慰 蟽蟿慰蠀蟼 蟽蠀谓蟿维魏蟿蔚蟼 蟿蠅谓 尾喂慰纬蟻伪蠁喂魏蠋谓 蟽畏渭蔚喂蠅渭维蟿蠅谓.


