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.