Meet the team
We are a small team of scientists and software engineers offering blockchain science consulting services.
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. 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 Mithril: Stake-based Threshold Multisignatures, Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting, and Foundations of Fully Dynamic Group Signatures.
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 A Formal Treatment of Hardware Wallets, Cryptocurrency Egalitarianism: A Quantitative Approach, and Securing Proof-of-Work Ledgers via Checkpointing.
Prof. Dr. Lefteris Kokoris-Kogias
blockchain scalability, decentralized randomness generation, software update dispersion
Lefteris is an assistant professor at IST Austria based in Vienna. He holds a PhD from EPFL, and an Electrical and Computer Engineering degree from the National Technical University of Athens. He specializes in the systems aspects of blockchains with a focus on scalability, decentralized randomness generation, and software update dispersion. Among other venues, he has published in IEEE S&P (Oakland, USENIX Security, ACM CCS, PODC, Omniledger: A secure, scale-out, decentralized ledger via sharding, Enhancing bitcoin security and performance with strong consistency via collective signing, and Scalable bias-resistant distributed randomness.
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.
smart contract development, large scale system design, software engineering, consensus, DevOp
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.
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.
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 Non-Interactive Proofs of Proof-of-Work, Proof-of-Stake Sidechains, and Proof-of-Work Sidechains.