cv

Technical Expert

Huawei Labs

I will join Huawei Labs to lead the ondevice team.

Senior Researcher

Samsung AI Centre (SAIC), Cambridge

I was leading research on reasoning and neurosymbolic learning within SAIC-Cambridge.

• I developed provably correct techniques that scaled logical reasoning to billions of facts and led to deep models with substantially higher accuracy.
• I was the first to prove that we can learn neural classifiers using logical theories as the source of supervision, characterizing also learning imbalances in neurosymbolic learning.
• I developed CPU-based techniques capable of scaling rule mining to millions of facts, taking less than 1% of the run time needed by the state-of-the-art GPU-based approaches.
• I was the first to show how to efficiently answer queries in second-order logical theories that include millions of facts, while preserving the correctness and completeness of the answers.

Research Fellow

Turing Institute, UK

My research focused on accessing heterogeneous data under privacy restrictions and logical reasoning both from an applied and a theoretical perspective.

• I was the principal investigator of a project on accessing distributed NHS data under formal privacy guarantees, receiving funding from the Turing and the FARR institutes.
• I developed provably correct techniques for accessing remote data under formal privacy guarantees.
• I developed the first technique for efficiently answering queries over Web-scale knowledge graphs under complex logical theories, offerring guarantees on the correctness and completeness of the answers.

Research associate

Department of Computer Science, University of Oxford, UK

• I theoretically established whether and how to answer queries subject to access restrictions and data constraints under guarantees on the completeness of the answers.
• I led a project on accessing data from the European Bioinformatics Institute (EBI), the National Centre for Biotechnology Information (NCBI), and the Kyoto Encyclopaedia of Genes and Genomes (KEGG), being awarded an EPSRC IAA grant.

Project manager and Research assistant

Department of Computer Science, Aristotle University of Thessaloniki, GR

• I led a nationally funded project on querying data sitting in Cloud infrastructure.

Research assistant

Centre of Research and Technology Hellas (CERTH), GR

• I developed techniques for video understanding.

Research assistant

Artificial Intelligence and Information Analysis Lab, Department of Computer Science, Aristotle University of Thessaloniki, GR

• I developed computer vision techniques for assembling archaeological artefacts.

St Paul's VA CofE Primary School

Together with teachers at the St Paul's VA CofE Primary School we will organize a series of events to introduce primary school students to computing and engineering.

Training Neural Classifiers Using Logic

1st International Workshop on Logical Foundations of Neuro-Symbolic AI -- collocated with the 33rd International Joint Conference on Artificial Intelligence (IJCAI)

I presented my latest work on neurosymbolic learning, emphasizing on learnability and imbalanced learning.

Reasoning at Scale: Why, How and What’s Next

20th Extended Semantic Web Conference (ESWC)

I presented my latest work on reasoning and reviewed the limitations of previous reasoning techniques.

1st Workshop on New Ideas for Large-Scale Neurosymbolic Learning System

collocated with the 51st International Conference on Very Large Data Bases

4th Knowledge-Infused Learning Workshop

collocated with the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining

Neurosymbolic AI Panel

collocated with the 22nd International Semantic Web Conference

3rd Knowledge-Infused Learning Workshop

collocated with the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining

Neurosymbolic AI for Agent and Multi-Agent Systems Workshop

collocated with the 22nd International Conference on Autonomous Agents and Multiagent Systems

2nd Samsung AI Neurosymbolic Workshop

Samsung AI

Knowledge Representation for Hybrid and Compositional AI Workshop

collocated with the 18th International Conference on Principles of Knowledge Representation and Reasoning

1st Samsung AI Neurosymbolic Workshop

Samsung AI

PhD

Aristotle University of Thessaloniki

Computer Science

BSc

Aristotle University of Thessaloniki

Computer Science

Future Leader in AI

Royal Society, London

I was recognized as a future leader in AI by the Royal Society, being invited to the Frontiers of Science (FoS) meeting that took place in Ottawa, Canada.

Early Career Research Fellowship

Turing Institute, UK

The Turing Institute awarded me an early career fellowship, selecting me among more than 300 applicants for my contributions in logic and databases.

Best PhD Student in Computer Science

State Scholarships Foundation, GR

Highest ranked BSc Student in Computer Science

State Scholarships Foundation, GR

Young Scientists Scholarship

Onassis Foundation

Highest ranked BSc Student in Computer Science

State Scholarships Foundation, GR

Highest ranked BSc Student in Computer Science

State Scholarships Foundation, GR

Highest ranked BSc Student in Computer Science

State Scholarships Foundation, GR

FASHIN: Federated Access to Secure Healthcare INformation

This project developed techniques for accessing distributed data from the National Health Service (NHS) in an efficient and privacy-preserving fashion. This research grant was authored by me.

• Budget: £100K
• Role: Principal Investigator
• Funding source: Turing Institute, UK and FARR Institute, UK

Simple Unified Access to Biological Resources on The Web

This projected developed a platform for accessing data from the European Bioinformatics Institute (EBI), the National Centre for Biotechnology Information (NCBI), and the Kyoto Encyclopaedia of Genes and Genomes (KEGG) in a transparent fashion. This research grant was co-authored by me and Professor Michael Benedikt from the University of Oxford.

• Role: Research associate
• Funding source: EPSRC Impact Acceleration