Nikos Katzouris
Researcher (Grade C) at Institute of Informatics & Telecommunications at NCSR Demokritos
Palaión Fáliron, Attiki, Greece
Summary
👤
Senior🎓
Top SchoolNikos Katzouris is a tenured research scientist at NCSR Demokritos with 11 years of experience bridging machine learning and symbolic reasoning to improve robustness and transparency in AI systems. His work focuses on neuro-symbolic AI and logic-based learning, with a particular emphasis on temporal and event-based applications informed by a strong mathematics and formal logic background. He has driven and managed multiple EU-funded projects, delivering intelligent systems across domains such as transport, maritime surveillance, fraud detection, assisted living, and social network knowledge extraction. Holding a PhD in Machine Learning and an MSc in Mathematical Logic, he blends theoretical rigor with practical system development, dating back to early web development in Java. Colleagues value his ability to translate formal models into applied solutions and to steer multidisciplinary teams through complex research-to-deployment challenges. Based in Athens, he brings a rare combination of deep formal training and hands-on technical management in large collaborative projects.
11 years of coding experience
2 years of employment as a software developer
PhD, Machine Learning, PhD, Machine Learning at Ethnikon kai Kapodistriakon Panepistimion AthinonBSc, Mathematics, BSc, Mathematics at Aristotle University of Thessaloniki (AUTH)
Github Skills (20)
automata10
system-programming9
logic-programming9
inductive-logic-programming9
calculus9
logic9
homotopy-type-theory8
relational-algebra8
agda8
relational7
java6
pattern-recognition5
datasets4
answer-set-programming4
machine-learning3
Programming languages (3)
Github contributions (5)
nkatzz/OLED
May 2016 - Oct 2020
An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs
Contributions:241 commits, 5 PRs, 241 pushes in 4 years 6 months
logic-programminghomotopy-type-theorycalculussystem-programmingonline-learning
nkatzz/ORL
Oct 2019 - Nov 2020
Refactored, latest version of OLED & WOLED plus more tools for for online logical & relational learning.
Contributions:110 commits, 5 PRs, 102 pushes in 1 year 2 months
relationalrelational-learningrelational-algebraoledjava
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.