CV

Ph.D. in Computing Research

Imperial Collge London, London, UK

M.Sc. in Computer Science

National and Kapodistrian University of Athens, Athens, Greece

B.S. in Management Science and Technology

Athens University of Economics and Business, Athens, Greece

Major: Software Engineering and Data Science

Assistant Professor

UCL

Assistant Professor in Computational Economics and Finance. I lead or co-lead two modules, including lectures, assignments, and assessments, and I advise and co-advise PhD and master's students.

Senior Security Researcher

zkSecurity

Perform security audits of zero-knowledge proof protocols, blockchain infrastructure, smart contracts, and cryptographic libraries. Produce technical content, including blog posts and research papers, scope engagements and conduct preliminary reviews of client code, mentor and advise interns and junior consultants, build security tools and infrastructure, and contribute to public-good projects such as zkbugs.

Research Scientist Intern

Matter Labs

As a Research Scientist working in Blockchain Migration, I conducted in–depth research to understand the complexities involved in the migration from Ethereum (EVM-Based) blockchains to the zkSync Era blockchain. My role included developing specialized tooling to ensure the seamless functionality of top Decentralized Applications within the zkSync Era ecosystem, as well as analyzing and documenting the benefits of EVM–compatibility and EVM-equivalence, thereby contributing to an enhanced understanding of their implications in blockchain technology and migration strategies.

R&D Engineer

Veridice Inc., Austin, TX, US

Working on ZKP security. Developing automated tools based on formal methods to detect vulnerabilities in ZKP circuits.

Research Scientist

BALAB -- AUEB, Athens, Greece

Research scientist for the FASTEN European Research Project. I have been working on generating C call graphs for the whole Debian ecosystem using static analysis techniques and providing a framework to enable various analyses to tackle security and risk evaluation problems, license compliance, and change impact analysis. I have also taken part in other research projects in web security, programming languages, and software testing.

Software Engineer

GRNET, Athens, Greece

Software engineer for the PANORAMIX European Research Project. During my time at GRNET, I worked on making an e-voting platform, namely Zeus, modular regarding its cryptosystem. Specifically, I refactored the code base of the platform to support multiple cryptosystems. I also integrated two different mix nets into the platform.