Lukasz Kaiser is a research-driven machine learning scientist and engineer with over a decade of experience building foundational ML systems and state-of-the-art NLP models. After a rigorous academic career in logic, automata and program synthesis—including proofs resolving long-standing theoretical problems—he helped design and ship core ML infrastructure at Google Brain (TensorFlow) and later advanced research and products at OpenAI. His work spans from demonstrating that neural nets can learn complex discrete algorithms to practical contributions on Transformer inference and sampling (notably on the well-known trax library). Based in San Francisco, he blends deep theoretical insight with hands-on engineering to bridge research and production-scale ML. An often-overlooked strength is his background in symbolic methods and satisfiability solvers, which informs robust approaches to verification and program synthesis in ML contexts.
10 years of coding experience
10 years of employment as a software developer
Master of Science, Mathematics, Master of Science, Mathematics at University of Wroclaw
Ph.D, Computer Science, Ph.D, Computer Science at RWTH Aachen
Contributions:4 reviews, 7 commits, 10 PRs in 1 month
Contributions summary:Lukasz primarily contributed to the `trax` repository by implementing and modifying features related to autoregressive sampling in the context of Transformer models. These changes included adding and refining the `eval_mode` functionality for decoding, incorporating depthwise convolutions, and making T5 imports dynamic. The work also involved adjustments to the sampling process, including handling minimum lengths and padding for evaluation, demonstrating a focus on model inference and performance.
Contributions:3 commits, 2 pushes, 1 branch in 3 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.