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.
13 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 (72)
programming-language10
compcert10
agda10
network-analysis10
traceroute10
security10
correctness10
dependent-types10
evolve10
coq-library10
infrastructure-management10
netmiko10
formal-verification10
coq10
idris10
Programming languages (12)
Github contributions (5)
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
nickgian/ECC-OCaml
Jan 2013 - Oct 2019
Elliptic Curves Cryptography for OCaml
Contributions:19 commits, 2 PRs, 2 pushes in 6 years 10 months
cryptographycryptanalysisocamlellipticopam
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.