zee.town

"The fundamental purpose of a type system is to prevent the occurrence of execution errors during the running of a program. This informal statement motivates the study of type systems, but requires clarification."

— Luca Cardelli in Type Systems (1974)

🌊 Holla. I'm Zeeshan. I'm

• an engineer @ the Oxide Computer Company;
• a Ph.D student @ Carnegie Mellon University's School of Computer Science, studying Programming Language Theory with Frank Pfenning, focusing on Polarized Subtyping;
• \( f(x) = x \): a co-founder and co-organizer of Papers We Love and PWLConf.

Formerly, I was

• a staff engineer @ Fission, where I worked on local-first software and led efforts on Homestar, an IPVM reference implementation for open-world computing and Wasm execution, and rust-template;
• a director of fraud engineering and strategic research @ BlockFi, where I also wrote about composing observable Rust applications and co-ran engineering hiring;
• a principal engineer @ Comcast, driving programmable networking, modern network function development, and traffic steering and NLBs;
• a software engineer working on impactful distributed systems (Riak) @ Basho, particularly Riak Search, Hyperloglog data types, and Bigger Sets (delta CRDT sets).
• an engineer who co-wrote the Readability 2.0 iOS app while @ Arc90;
• an engineer and researcher who helped drive interactive content @ the NYPL Labs.

You can find more information about what I've worked on in my resume. Peruse "On the Books" to see what I'm bookmarking and always reading.