Zoe Paraskevopoulou
Assistant Professor at School of Electrical and Computer Engineering - NTUA
Athens, Attica, Greece
Summary
🤩
Rockstar🎓
Top SchoolZoe Paraskevopoulou is an Assistant Professor and researcher with 14 years of experience at the intersection of programming languages, verification, and functional programming. Currently based in Athens, she combines academic roles at NTUA with applied research at the Ethereum Foundation, bringing formal methods to real-world systems. Her PhD-level background and internships at Microsoft Research, Facebook, and leading institutes underpin a strong track record in type theory and proof-oriented languages—highlighted by significant contributions to the F* language, where she implemented normalization by evaluation for inductive types and refined pattern-matching and typechecking. Comfortable in Haskell and Rocq-inspired tooling, she blends deep theory with practical back-end implementation and testing. Colleagues value her for turning complex verification ideas into robust, maintainable code that bridges research and production.
14 years of coding experience
2 years of employment as a software developer
Summer School, Applied Functional Programming in Haskell, Summer School, Applied Functional Programming in Haskell at Utrecht UniversityEngineer's degree (5 yrs), Electrical and Computer Engineering, Engineer's degree (5 yrs), Electrical and Computer Engineering at National Technical University of AthensMaster's Degree, Master Parisien de Recherche en Informatique, Summa cum laude, Master's Degree, Master Parisien de Recherche en Informatique, Summa cum laude at École Normale Supérieure de CachanDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Princeton University
Greek, English
Github Skills (8)
theorem-proving10
fs10
dependent-types10
f10
fstar10
programming-language9
proof-assistant9
functional-programming8
Programming languages (8)
Github contributions (5)
FStarLang/FStar
Aug 2017 - May 2019
A Proof-oriented Programming Language
Role in this project:
Back-end Developer
Back-end DeveloperContributions:324 commits, 171 pushes, 8 branches in 1 year 8 months
Contributions summary:Zoe primarily worked on implementing a normalization by evaluation (NBE) system for the F* programming language, specifically for inductive types and pattern matching. Their contributions include modifications to the typechecker to incorporate NBE for inductive types, handling of recursive definitions, and fixes for pattern matching. The work also involved extending the NBE system to support different constructs and incorporating improvements to the code with refactoring and testing.
homotopy-type-theorycoq-librarytype-theorysat-solvercompiler
Qthan/alpaca
Mar 2012 - Nov 2013
Contributions:93 commits in 1 year 7 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.