Max Heiber
Software Engineer, Hack Language Team and Whatsapp Erlang Team @Meta
Signup · Get unlimited contacts
WORK HISTORY
Software Engineer, Hack Language Team and Whatsapp Erlang Team @Meta
WhatsApp Erlang Team:Co-wrote a type checker for Erlang from scratch as part of a two-person team: from 0 to 80% adoption in prod for our large codebase. Implemented generics, error reporting, lambdas, expressive recursive generic type aliases, numeric tpyes, opacity checking, CI infra, and IDE integration.Hack Language Team- Implemented a micro-type-checker for type-directed bytecode- static analysis for innovate gradual typing soundness features- implemented refactorings
EDUCATION
EdX
Computer Science
University of Maryland
Master's degree, Philosophy
Georgia Institute of Technology
Master of Science (M.S.), Computer Science
University of Connecticut
Bachelor of Arts (B.A.), Philosophy
University of Connecticut
Bachelor of Arts (B.A.), Anthropology
SKILLS
ABOUT MAX HEIBER
My focus is on maximizing the value of our software development efforts through enabling visibility into the intent and behavior of code. I like to learn new things.
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.