Nick Giannarakis
Sr. Applied Scientist at Amazon Web Services (AWS)
Seattle, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolNick Giannarakis is a Sr. Applied Scientist with 13 years of experience bridging academic research and cloud-scale ML engineering, currently advancing applied science at AWS in Seattle. He holds a Ph.D. in Computer Science from Princeton and has a strong international research background including postdoctoral work at UW–Madison and internships at Microsoft, Max Planck, and INRIA. Nick’s career blends deep theory and production impact—moving from functional programming training in Haskell to shipping applied research at AWS across multiple roles since 2019. Known for translating complex research ideas into deployable systems, he brings uncommon breadth: European graduate training, U.S. doctoral rigor, and hands-on cloud experience.
14 years of coding experience
Summer School, Applied Functional Programming in Haskell, Summer School, Applied Functional Programming in Haskell at Utrecht UniversityEngineer's Degree, Electrical and Computer Engineering, Engineer's Degree, Electrical and Computer Engineering at National Technical University of AthensMaster's Degree, Master Parisien de Recherche en Informatique, Master's Degree, Master Parisien de Recherche en Informatique at École Normale Supérieure de CachanDoctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at Princeton University
English, Greek
Github Skills (40)
proof-assistant10
programming-language10
c-language10
dependent-types10
formal-methods10
compcert10
network-analysis10
coq-library10
verification10
proof10
ocaml10
security10
formal-verification10
coq10
toolchain10
Programming languages (14)
Github contributions (5)
nickgian/nickgian.github.io
Jan 2015 - Dec 2025
Contributions:4 PRs, 68 pushes, 3 issues in 11 years 1 month
nickgian/batfish
Nov 2022 - May 2024
Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.
Contributions:69 pushes, 28 branches in 1 year 5 months
outagesnetwork-engineerssecuritybatfishnetworking
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.