Meet the team

Shresth Agrawal

smart contract development, auditing, algorithms

Shresth is a smart contract and backend developer. He holds a bachelor degree in Computer Science from Jacobs University Bremen. He has experience building efficient and secure algorithms, protocols, and smart contracts for several DeFi protocols. Previously he worked at ParaSwap where he was responsible for developing a significant part of the core aggregation algorithm. He is interested in Cryptography, Security, Consensus Protocols, Decentralised Finance, and Ethereum.

Dr. Zeta Avarikioti

distributed systems, scaling blockchains, cryptoeconomic incentive analysis

Zeta is an upcoming Assistant Professor at the Technical University of Vienna (TU Wien) in Austria. She is currently a post-doctoral blockchain researcher at TU Wien working with professor Matteo Maffei. She graduated with a PhD from ETH Zürich and holds an engineering degree from the National Technical University of Athens and a masters degree from National Kapodistian University of Athens. She specializes in distributed systems, scaling blockchains via sharding and channels, and the analysis of cryptoeconomic incentives. Among other venues, she has published in Financial Crypto, AFT and SODA. Highlights of her research include the papers BRICK: Asynchronous Payment Channels, Cerberus Channels: Incentivizing Watchtowers for Bitcoin, and Divide and Scale: Formalization of Distributed Ledger Sharding Protocols.

Dr. Pyrros Chaidos

zero-knowledge proofs, voting

Pyrros is a post-doctoral blockchain researcher at the University of Athens. He holds a PhD from the University College of London, an MSc in Information Security from the University College of London, an MSc in Theoretical Computer Science from the University of Athens, and a BA in Mathematics from the University of Athens. He specializes in zero knowledge proof systems, with applications on proof-of-stake blockchains and voting in particular. Among other venues, he has published in EUROCRYPT, ACM CCS, PKC, ESORICS, and the Journal of Cryptology. Highlights of his research include the papers Mithril: Stake-based Threshold Multisignatures, Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting, and Foundations of Fully Dynamic Group Signatures.

Nikolaos Kamarinakis

smart contract development, testing, software engineering, offensive security

Nikolas is a software engineer based in Athens, Greece and Maryland, USA. He is currently pursuing a bachelor’s degree in Computer Science at the University of Maryland, specializing in Cybersecurity. He has multiple years of experience in full-stack software engineering and open-source development, as well as some expierience in offensive security. Nikolas is currently focused on smart contract development at Common Prefix as well as at the Research DAO, where he also coordinates operations.

Dr. Dimitris Karakostas

cryptocurrency wallets, macroeconomics, checkpointing

Dimitris is a post-doctoral blockchain researcher at the University of Edinburgh where he works with professor Aggelos Kiayias. He holds a PhD from the University of Edinburgh and an Electrical and Computer Engineering degree from the National Technical University of Athens. He specializes in cryptocurrency wallets and macroeconomics, as well as chain checkpointing. Among other venues, he has published in Financial Crypto and presented at Black Hat Europe and Asia. Highlights of his research include the papers A Formal Treatment of Hardware Wallets, Cryptocurrency Egalitarianism: A Quantitative Approach, and Securing Proof-of-Work Ledgers via Checkpointing.

Stavros Korokithakis

DevOps, OpSec, backend development

Stavros is a software developer based in Thessaloniki, Greece. He holds a bachelor’s degree in Computer Science and Electronics Engineering from the Technical University of Crete. He has been programming for twenty-five years, with a focus on designing, developing, scaling, and maintaining web backends as well as on systems and data security. Stavros has worked in various sectors such as security, developing Silent Phone, alongside Phil Zimmermann and Jon Callas, in healthcare, and in blockchain, developing the Internet Computer at DFINITY.

Dimitris Lamprinos

smart contract development, large scale system design, software engineering, consensus, DevOps

Dimitris is a software engineer based in Thessaloniki. He holds a Bachelor’s degree in Computer Science from Aristotle University of Thessaloniki. He works on smart contract development and basic consensus development. He has significant experience in developing and scaling web applications as well as blockchain development in the Amondo, and Geekbot.

Themis Papameletiou

smart contract development, testing, software engineering, algorithmic trading, rockets

Themis is a software engineer based in Athens. He has significant experience developing software for a variety of projects such as web applications, algorithmic traders and rockets. He is pursuing a Master’s degree in Electrical and Computer Engineering from the National Technical University of Athens and has also completed internships at Google and at the European Space Agency. Currently, he is focused on smart contract development and testing.

Dr. Orfeas Stefanos Thyfronitis Litos

software engineering, payment channels, voting, cryptoeconomic incentive analysis

Orfeas obtained his PhD in Cryptography and Blockchains at the University of Edinburgh in 2021. He has worked on building and analyzing decentralized applications on blockchains, layer-2 protocols, payment channels, and voting solutions, all through formal cryptographic methods. Among others, he has formally analyzed the security of the Lightning Network and created a novel virtual payment channel construction. He is knowledgeable in software engineering and secure architecture. His interests further include formal verification, incentive analysis, and provable security.

Apostolos Tzinas

smart contract development, algorithms, software engineering

Apostolos is a smart contract software engineer. He is pursuing a joint Bachelor and Master’s degree in Electrical and Computer Engineering at the National Technical University of Athens. Apostolos has extensive front-end software engineering experience working at Maya Insights, as well as at NutriDice, where he took on a full-stack engineering role. He has worked with numerous programming languages and technical stacks.

Dr. Dionysis Zindros

scaling blockchains, light clients, fast bootstrapping, algorithms, software engineering

Dionysis is a post-doctoral blockchain researcher at Stanford University. He holds a PhD from the University of Athens and an Electrical and Computer Engineering degree from the National Technical University of Athens. He specializes in blockchain scalability via light clients and fast bootstrapping. Among other venues he has published in IEEE S&P (Oakland, ACM CCS, ESORICS, and Financial Crypto, and presented at Black Hat Europe and Asia. Highlights of his research include the papers Non-Interactive Proofs of Proof-of-Work, Proof-of-Stake Sidechains, and Proof-of-Work Sidechains.