
Anantoni
PhD researcher building websites, WordPress plugins, web apps and AI automation
Habilidades

Revisa mis servicios


Experiencia laboral
Software Engineer & Research Assistant
Εθνικόν και Καποδιστριακόν Πανεπιστήμιον Αθηνών
May 2024 - Present • 2 yrs 6 mos
PLAST group, Department of Informatics & Telecommunications (Oct 2014 to Dec 2020, and May 2024 to present). I work on Doop, a widely used Java points-to and taint analysis framework written in Datalog: parallel fact extraction from Java bytecode, a web app showing analysis results on source code, the port to the Souffle Datalog engine, and modelling of Spring, Hibernate and JDK internals to scale analysis of enterprise apps. Papers at OOPSLA 2025, PLDI 2020, ECOOP 2020, ECOOP/ISSTA DS 2018 and SOAP 2017. I run large static-analysis and NuSMV model-checking jobs on the university HPC cluster, write funding applications (EuroHPC, AWS, Google, EU), and was a teaching assistant for Compilers in 2025 and 2026 (and for Operating Systems, System Programming and Compilers in 2014-2020).
1 Reseñas
| (1) | ||
| (0) | ||
| (0) | ||
| (0) | ||
| (0) |
Desglose de calificaciones
- Nivel de comunicación del Freelancer
- Recomendar a un amigo
- Servicio según lo descrito
Ordenar por

backlinkb

Pakistán
Fast Delivery. Great Link
USD 50
$