Taddeüs Kroes
Software Engineer at Google
Amsterdam, North Holland, Netherlands
Summary
👤
Senior🎓
Top SchoolTaddeüs Kroes is a software engineer at Google with 14 years of experience bridging systems research and production web development. He holds a PhD in Systems Security and has published on compiler-based memory safety and binary lifting, bringing deep compiler expertise to practical engineering problems. Early work on PHP frameworks and painstaking front-end compatibility (including IE7-era CSS) informs his emphasis on readable, maintainable, and performant code. He has taught compiler construction and built automated grading tooling, reflecting a knack for developer-facing infrastructure and pedagogy. Comfortable benchmarking and refactoring as much as inventing new techniques, he combines rigorous academic methods with day-to-day shipping at scale from his base in Amsterdam.
13 years of coding experience
10 years of employment as a software developer
Master of Science - MSc, Computer Science (High Performance Distributed Computing), Cum laude, Master of Science - MSc, Computer Science (High Performance Distributed Computing), Cum laude at Vrije Universiteit AmsterdamDoctor of Philosophy - PhD, Systems Security, Doctor of Philosophy - PhD, Systems Security at Vrije Universiteit Amsterdam (VU Amsterdam)Bachelor of Science - BSc, Computer Science, Cum laude, Bachelor of Science - BSc, Computer Science, Cum laude at Universiteit van AmsterdamVWO, Nature & Technology, VWO, Nature & Technology at Driestar College Gouda
Dutch, English
Stackoverflow
102reputation
5kreached
4answers
1question
Github Skills (28)
socket10
gevent9
instrumentation9
python8
websocket8
infrastructure7
laravel-artisan6
php6
laravel6
migration6
bitcode6
llvm6
ubuntu6
bounds5
asyncio5
Programming languages (2)
Github contributions (5)
taddeus/mincss
Apr 2014 - Dec 2022
Contributions:116 commits, 14 pushes in 8 years 9 months
taddeus/tvgids
Dec 2013 - Jul 2015
Contributions:37 commits, 3 pushes, 1 comment 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.