โญ
Hacking
Assistant Prof ๐ Programming Languages and Verification
๐ Coq, Haskell
-
National Technical University of Athens
- Athens, Greece
- http://zoep.github.io
Highlights
- Pro
Software Engineering Laboratory
softlab-ntua
At the School of Electrical and Computer Engineering, National Technical University of Athens
Athens, Greece
Petros Angelatos
petrosagg
Software Engineer at @MaterializeInc, former CTO of @balena-io
@MaterializeInc Barcelona, Spain
Daniel Patterson
dbp
teaching faculty at Northeastern University. formerly PhD student @nuprl, member/owner at @positiondev.
Northeastern University Boston, MA
George Pรฎrlea
dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.
Singapore
Kostas Chalkias
kchalkias
Applied Cryptographer, Software Engineer, Data Scientist
@Facebook Menlo Park, CA
Catalin Hritcu
catalin-hritcu
Tenured Faculty at MPI-SP
Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany