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

Conheça meus serviços


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
| (1) | ||
| (0) | ||
| (0) | ||
| (0) | ||
| (0) |
Classificação detalhada
- Nível de comunicação do freelancer
- Recomendar a um amigo
- Serviço conforme a descrição
Ordenar por

backlinkb

Paquistão
Fast Delivery. Great Link
US$ 50
$