BACK TO FACULTY

Dr

Mantadelis Theofrastos

Assistant Professor
Qualifications:

PhD in Computer Science
MSc in Artificial Intelligence, Catholic
Diploma in Electronic Calculating Systems Engineering

Studies:

• 2008 – 2012: PhD in Computer Science, Catholic University of Leuven, Belgium

• Thesis: Efficient Algorithms for Prolog-Based Probabilistic Logic Programming

• 2006 – 2007: MSc in Artificial Intelligence, Catholic University of Leuven, Belgium

• Thesis: Software Security through Targeted Diversification

• 2000 – 2005: Diploma in Electronic Calculating Systems Engineering, Polytechnic University of Piraeus, Greece

• Thesis: Digital Image Treatment, Abstraction of Noise with Wavelets

Work experience:

• 09/2023 – present: Assistant Professor (Ctl Eurocollege, Cyprus)

• 10/2021 – 6/2023: Assistant Professor (Ledra College, Cyprus

) • 2018 – present: Research Associate (Maastricht School of Management (MSM), Netherlands)

• 9/2017 – present: Artificial Intelligence Consultant (Freelancer)

Research:

• 10/2012 – 1/2020: Senior Researcher (Post-Doc)

• 1/2019 – 1/2020: Open University of Cyprus & RISE: Research center for Interactive media Smart systems and Emerging technologies, Cyprus.

• 11/2017 – 1/2019: University of Perugia, Italy.

• 11/2013 – 6/2017: University of Porto, Portugal.

• 10/2012 – 4/2013: Katholieke Universiteit of Leuven, Belgium.

Member in Councils:

• 1/2023 – present: Fundingbox A.I. Expert

• 1/2023 – present: Slovak Research and Development Agency

• 1/2022 – present: European Commission A.I. Expert

Publications:

• IJAR 2020: Mantadelis T., Bistarelli S. - Probabilistic Abstract Argumentation Frameworks, A Possible World View

• JELIA 2019: Bistarelli S., Mantadelis T. - A Possible World View and a Normal Form for the Constellation Semantics.

• JBHI 2018: Jorge Oliveira, Francesco Renna, Theofrastos Mantadelis, Miguel Coimbra – Adaptive Sojourn Time HSMM for Heart Sound Segmentation.

• PADL 2017: Mantadelis T., Rocha R. – Using Iterative Deepening for Probabilistic Logic Inference.

• EMBC 2016: Oliveira J., Mantadelis T., Coimbra M. – Why should you model time when you use Markov Models for heart sound analysis.

• LPNMR 2015: Mantadelis T., Shterionov D., Janssens G. – Compacting Boolean Formulae for Inference in Probabilistic Logic Programming.

• TPLP 2014: Mantadelis T., Rocha R., Moura P. – Tabling, Rational Terms, and Coinduction Finally Together!

• ICLP 2013: Shterionov D., Mantadelis T., Janssens G. – Pattern-Based Compaction for ProbLog Inference.

• JAIHC 2012: Paridel K., Mantadelis T., Yasar A., Preuveneers D., Janssens G., Vanrompay Y., Berbers Y. – Analyzing the efficiency of context-based grouping on collaboration in VANETs with large-scale simulation.

International Recognition of Work & Awards:
  • Scholarships/Projects Awarded: Argumentation for ChatBot 4.0
  • Scholarships/Projects Awarded: SIBILA (NORTE-07-124-FEDER-000059), Concurrency
  • in Probabilistic Logic Programming (AE2015-0063), Concurrency and Optimizations in
  • Probabilistic Logic Programming (SMILeS-PL02024)
  • Scholarships/Projects Awarded: GOA/08/008 Probabilistic Logic Learning