Catherine Gasnier
Senior Software Engineer @Meta
Signup · Get unlimited contacts
WORK HISTORY
Senior Software Engineer @Meta
London, GB
Contributing to the Hack programming language type checker and compiler front-end.Implemented core typechecker parts:* control flow sensitive typing (variables in hack are not scoped) using continuations* constraint-based type inferenceWorked on scaling the language to a monorepo of millions of files:* improving the incremental algorithm* improving storing and fetching of declarations
EDUCATION
Lycée Louis le Grand
Mathematics, Physics, Computer Science
École Polytechnique
Ingénieur diplômé de l'École Polytechnique, Electrical Engineering
Lycée Lamartine
Baccalauréat, Science
École Polytechnique Fédérale de Lausanne
Master's degree, Computer Engineering
SKILLS
ABOUT CATHERINE GASNIER
Senior Software Engineer at Meta
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.