Pato聽Lankenau

Software Engineer at Jane Street

London, England, United Kingdom
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

馃懁
Senior
馃帗
Top School
Pato Lankenau is a seasoned software engineer with 14 years of experience specializing in large-scale distributed systems, currently at Jane Street after a lengthy tenure at Apple. He has architected and implemented exabyte-scale storage and fault-tolerant databases, led an international engineering team, and now focuses on systems written in Rust for AI/ML infrastructure. His hands-on background spans consensus (Raft), on-disk persistence, networking, and CI/CD, plus formal verification (TLA+) from earlier work鈥攁n uncommon mix of pragmatic systems engineering and formal methods. Comfortable moving between individual contributor and managerial roles, he combines deep low-level technical ownership with experience shipping production services at massive scale. Based in London, he brings both startup founding experience and big-tech rigor to complex distributed problems.
code13 years of coding experience
job10 years of employment as a software developer
bookIB Diploma, IB Diploma at Klein Oak High School
bookBachelor of Science (BS) Computer Science, Bachelor of Science (BS) Computer Science at The University of Texas at Austin
bookAmerican School of Warsaw
bookAmerican International School of Vienna
languagesEnglish, German, Spanish, French
github-logo-circle

Github Skills (35)

iterm9
alacritty8
cpp8
operating-system8
pelican8
linux8
neovim8
newsletter8
coverage7
kitty7
vim7
lua7
userspace7
rust7
code-coverage6

Programming languages (6)

C++CRustLuaHTMLPython

Github contributions (5)

github-logo-circle
pato/virtour_thesis

Jul 2016 - Aug 2016

Contributions:96 commits, 9 pushes, 1 branch in 1 month
pato/gonovation

May 2015 - May 2016

Contributions:13 commits in 1 year
Find and Hire Top DevelopersWe鈥檝e 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
Pato Lankenau - Software Engineer at Jane Street