a
anantoni

Anantoni

@anantoni
5,0(1)

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

Grécia
Inglês, Grego
Algumas informações são exibidas no idioma inglês.
Sobre mim
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.... Saiba mais

Habilidades

a
anantoni
Anantoni
offline • 

Conheça meus serviços

Personalização
I will develop a custom wordpress or woocommerce plugin, or fix your existing plugin
Revisão de código
I will review your java or spring boot code for security vulnerabilities

Experiência profissional

Εθνικόν_και Καποδιστριακόν Πανεπιστήμιον Αθηνών

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 Avaliações
5,0

(1)
(0)
(0)
(0)
(0)
Classificação detalhada
  • Nível de comunicação do freelancer
    5
  • Recomendar a um amigo
    5
  • Serviço conforme a descrição
    5
1-1 fora das 1 avaliações
Ordenar por
Mais relevante
    B
    image-docs

    backlinkb

    PK

    Paquistão

    5

    Fast Delivery. Great Link

    US$ 50

    $

    Útil?
    Sim
    Não