|Full name||Stefanos Chaliasos|
2021 - Present
Imperial Collge London, London, UK
2019 - 2021
National and Kapodistrian University of Athens, Athens, Greece
2014 - 2019
Athens University of Economics and Business, Athens, Greece
Major: Software Engineering and Data Science
- 2023 - 2023
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.
- 2022 - 2023
Veridice Inc., Austin, TX, US
Working on ZKP security. Developing automated tools based on formal methods to detect vulnerabilities in ZKP circuits.
- 2019 - 2021
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.
- 2018 - 2019
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.