Full name Stefanos Chaliasos
Languages Greek, English



  • 2023 - 2023
    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.
  • 2022 - 2023
    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.
  • 2019 - 2021
    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.
  • 2018 - 2019
    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.