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

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.