Anastasiοs Antoniadis
Researcher at Ethnikon kai Kapodistriakon Panepistimion Athinon
Athens, Attica, Greece
Summary
👤
Senior🎓
Top SchoolAnastasios Antoniadis is a researcher and PhD student at the University of Athens with 12 years of experience in static program analysis, compilers, and programming languages. He has a strong engineering background in Java, Python, C/C++, Groovy and Datalog, and has contributed to production-grade tools like Soufflé—improving core file-handling and code consistency in its C++ backend. His academic work focuses on scalable, precise points-to and fact-generation pipelines for Java enterprise code, including parallelization and web-based result visualization. He combines rigorous research (MSc with top marks) and hands-on implementation, having also led product and content efforts as a founder/CEO, which gives him a rare blend of deep technical expertise and practical delivery.
12 years of coding experience
11 years of employment as a software developer
18.6, 18.6 at 2nd High School of KamateroMaster of Science (M.Sc.), Computing Systems, Computer Science, Grade: 10.00/10.00, Master of Science (M.Sc.), Computing Systems, Computer Science, Grade: 10.00/10.00 at Ethnikon kai Kapodistriakon Panepistimion AthinonBachelor of Science (B.Sc.), Computer Science, Grade: 8.51/10.00, Bachelor of Science (B.Sc.), Computer Science, Grade: 8.51/10.00 at Ethnikon kai Kapodistriakon Panepistimion Athinon / University of Athens
English, Greek
Github Skills (8)
file-handling10
translator10
datalog10
c-language10
translators10
cprogramming-language10
logic-programming9
static-code-analysis8
Programming languages (3)
Github contributions (5)
souffle-lang/souffle
Feb 2017 - Feb 2017
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:8 commits, 1 PR, 22 comments in 1 day
Contributions summary:Anastasiοs's contributions focus on modifications to the `src/RamTranslator.cpp` file. These changes involve concatenating filenames from input and output directives with command-line specified directories, ensuring correct file path resolution. Further contributions include merging with the upstream master branch and adjustments to code style. This indicates active involvement in maintaining and enhancing the project's core functionality, specifically related to file handling and code consistency.
logic-programminganalysesc-plus-plusc-programlogic
anantoni/iris-example
May 2015 - May 2016
Contributions:18 commits, 15 pushes, 2 branches in 1 year
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.