Zeeshan Lakhani
Engineer at Oxide Computer Company
Pittsburgh, Pennsylvania, United States
Summary
🤩
Rockstar🎓
Top School
Top expert inCross-Platform Development and Productivity Tools
Zeeshan Lakhani is an engineer and Ph.D. candidate in Programming Language Theory at Carnegie Mellon, currently building systems at Oxide Computer Company while researching polarized subtyping under Frank Pfenning. With 15 years of experience across startups and enterprises, he’s shipped distributed-system features in Riak, led programmable networking and traffic-steering work at Comcast, and drove local-first and Wasm execution efforts at Fission. He co-founded Papers We Love and PWLConf, reflecting a long commitment to technical community and academic-quality engineering. Zeeshan’s open-source contributions span CRDTs, HyperLogLog support, and concurrent flow libraries, showing a practical blend of PLT research and production-grade backend work. Based in Pittsburgh, he pairs academic rigor with a history of shipping resilient, observable Rust and Erlang systems.
15 years of coding experience
15 years of employment as a software developer
M.M Music Technology, M.M Music Technology at New York UniversityIn Progress Computer Science, In Progress Computer Science at Carnegie Mellon UniversityB.A. Film (Moving Image Arts), B.A. Film (Moving Image Arts) at Santa Fe University of Art and Design
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (24)
key-value-store10
erlang10
flow-control10
elixir10
work-flow10
genstage10
control-flow10
flowtype10
functional-programming10
test-automation10
webmachine9
eunit9
unit-testing9
distributed-systems9
junit9
Programming languages (26)
Github contributions (5)
basho/riak-erlang-client
Feb 2015 - Apr 2016
The Riak client for Erlang.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:2 releases, 10 commits, 6 PRs in 1 year 2 months
Contributions summary:Zeeshan contributed significantly to the Riak Erlang client, primarily focusing on extending its functionality and improving its robustness. Their work included adding a new `get_preflist` function to retrieve preference lists for keys, improving the client's interaction with Riak servers. Furthermore, they implemented features to handle timeouts during search index creation. The user also added support for HyperLogLog data type.
gleamerlangbeamelixirriak
basho/riak_kv
Jan 2015 - Sep 2016
Riak Key/Value Store
Role in this project:Back-end Developer
Back-end DeveloperContributions:15 commits, 19 PRs, 57 pushes in 1 year 7 months
Contributions summary:Zeeshan primarily contributed to the Riak Key/Value Store's CRDT (Conflict-free Replicated Data Type) functionality. They added a convenience function, `is_crdt`, to check bucket properties for supported datatypes. The user also made updates and added unit tests to the `is_crdt` function. Furthermore, the user developed and integrated a webmachine resource to retrieve and encode the active preflist for a bucket/key.
javakey-valueriakkey-value-store
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.