Chrysa Oikonomou

Chrysa's research interests include algorithmic theory, machine learning and cryptography. In particular, her research will focus on areas such as automated decision making and zero-knowledge proofs.

Chrysa holds an Meng in Electrical and Computer Engineering from the National Technical University of Athens. Her thesis topic included proving the correctness and cost of various operations on binary tree structures using Liquid Haskell.
She has research and work experience in designing real-time cryptographic protocols, symbolic modelling of systems and formal verification. More specifically, she was involved in a multitude of projects on creating symbolic models to describe adversary-secure protocols executed on the blockchain.
She enjoys Hispanic music, cats, and comic books.

The project “ARCHIMEDES Unit: Research in Artificial Intelligence, Data Science and Algorithms” with code OPS 5154714 is implemented by the National Recovery and Resilience Plan “Greece 2.0” and is funded by the European Union – NextGenerationEU.

greece2.0 eu_arch_logo_en



Stay connected! Subscribe to our mailing list by emailing
with the subject "subscribe archimedes-news Firstname LastName"
(replace with your details)