Researcher · PhD candidate, University of Athens · Founder, Lore Armory
PhD candidate in static program analysis at the Department of Informatics and Telecommunications, University of Athens, advised by Yannis Smaragdakis (PLaST group). I work on precise, scalable analysis of Java programs: pointer analysis, enterprise applications and TensorFlow shapes. Earlier: research intern at Oracle Labs Australia and technical student at CERN.
I founded Lore Armory to publish exact, verified game-mechanics research with open data and open-source tools. The Palworld stat-formula paper (v3.1) comes with a dataset, a free calculator and an open-source save reader.
Technical note v3.1 (13 Nov 2026). Across 2,322 stat values the model matches the game exactly; the confirmation runs were predicted and hashed (sha256) before the in-game check. Covers IVs, level, stars, Souls, trust, awakening, passives, food and hunger, emblems, partner skills and Level Sync.
Paper (DOI) · Dataset (DOI) · Calculator · Code (save reader v1.0.0)
Scaling declarative program analysis by controlling combinatorial explosion with minimal completeness loss.
Reasoning statically about tensor shapes in TensorFlow programs.
Research on Java enterprise application analysis and the framework and cache behavior that dominate precision, completeness, and scalability.
Managing the tradeoff between precision and scalability in static analysis.
Portability and engineering tradeoffs in Datalog-based program analysis.
Oct 2014 - Dec 2020, May 2024 - present
Athens, Greece
Static analysis tooling (parallel extraction from Java bytecode, a web viewer for analysis results, porting the group's Java bytecode analysis framework to a new Datalog engine) and research on the scalability and completeness of points-to analysis for Java enterprise applications.
Mar 2023 - Oct 2023
Athens, Greece
Eclipse RCP desktop application work and Elastic Stack logging.
Jan 2021 - Jan 2023
Tallinn, Estonia
Founded and ran BORDERPOLAR, a tech and gaming website; built its WordPress platform and small JavaScript puzzle tools.
Feb 2019 - Jul 2019
Brisbane, Australia
Improving the completeness of static analysis of Java enterprise applications using heap snapshots.
Oct 2012 - Oct 2013
Geneva, Switzerland
Physics analysis framework development, dataset production and database management.
2016-present
University of Athens, Department of Informatics and Telecommunications. Advisor: Prof. Yannis Smaragdakis.
2015 - 2016
University of Athens. Grade 10/10, valedictorian.
2006 - 2014
University of Athens. Grade 8.51/10, salutatorian.
Java, Python, C++, C, Groovy, Datalog, Soufflé, Scheme, JavaScript. Spring, Gradle, Maven, Elasticsearch, Oracle SQL, MySQL. Greek (native), English (fluent).