a
anantoni

Anantoni

@anantoni
5.0(1)

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

Grecia
Inglés, Griego
Parte de la información aparece en idioma inglés.
Sobre mí
Senior engineer and PhD researcher in program analysis (OOPSLA, PLDI, ECOOP), Compilers TA 2025-26. I build websites, WordPress plugins, React front ends and full-stack apps, review Java code for security, and automate work with AI agents. I run almanauts.com, an 18,000+ page wiki, with parallel Claude Code agents and review gates: Astro/TypeScript on Cloudflare Workers, R2, D1, CI/CD, game data extraction (Unreal, Unity, Godot), technical SEO, a Linux server I administer, publisher compliance. Also static analysis and model checking on HPC (Doop, Souffle, NuSMV) and grant writing.... Lee más

Habilidades

a
anantoni
Anantoni
desconectado • 

Revisa mis servicios

Personalización
I will develop a custom wordpress or woocommerce plugin, or fix your existing plugin
revisión de código
I will review your java or spring boot code for security vulnerabilities

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
5.0

(1)
(0)
(0)
(0)
(0)
Desglose de calificaciones
  • Nivel de comunicación del Freelancer
    5
  • Recomendar a un amigo
    5
  • Servicio según lo descrito
    5
1-1 de 1 reseñas
Ordenar por
Más relevante
    B
    image-docs

    backlinkb

    PK

    Pakistán

    5

    Fast Delivery. Great Link

    USD 50

    $

    Útil?
    Sí
    No