Manos Koukoutos

Software Engineer at Google

Athens, Attica, Greece
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Manos Koukoutos is a software engineer with 12 years of experience who combines deep research roots—holding a PhD from EPFL—with hands-on systems work at Google on the V8 JavaScript engine. He focuses on compilers, program synthesis, WebAssembly and runtime performance, contributing notable Wasm GC, null-object handling and array-fill improvements upstream in the widely used v8 repo. Based in Athens, he brings research-grade rigor to production back-end engineering, refactoring instruction codes and optimizing element-segment handling to boost runtime efficiency. His background in electrical and computer engineering and long-term OSS contributions reflect a blend of theoretical insight and practical impact on browser and server-side execution.
code12 years of coding experience
bookDoctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at Ecole polytechnique fédérale de Lausanne
bookDiploma of Electrical and Computer Engineering, Computer Science, Diploma of Electrical and Computer Engineering, Computer Science at National Technical University of Athens
languagesEnglish, German, Greek, Spanish
github-logo-circle

Github Skills (14)

compiler-optimization10
g10
blazor-webassembly10
javascript10
c-language10
webassembly10
javascript-engine10
cprogramming-language10
garbage10
script-engine10
collector10
garbage-collection10
backend9
back-end-development9

Programming languages (5)

TypeScriptC++ScalaWebAssemblySMT

Github contributions (5)

github-logo-circle
epfl-lara/leon

Mar 2014 - Jul 2017

The Leon system for verification, synthesis, repair
Contributions:1278 commits, 33 PRs, 449 pushes in 3 years 4 months
synthesistlaverificationleonformal-methods
manoskouk/leon

Jan 2015 - Jan 2018

Contributions:473 pushes, 66 branches in 3 years 1 month
leonsynthesisverification
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.
Request Free Trial
Manos Koukoutos - Software Engineer at Google