Catherine Gasnier

Catherine Gasnier is a Senior Software Engineer at Meta, contributing to the Hack programming language type checker and compiler front-end, with a focus on control flow sensitive typing and constraint-based type inference. Catherine has a rich background in software engineering and security, demonstrated through ongoing work at AdNovum Informatik AG on web applications for the Swiss public sector, as well as previous experience as a Ph.D. candidate at EPFL. In earlier roles, Catherine developed a generic system-on-chip simulator at IBM and worked on methodology for controllable polarity field-effect transistors. Catherine holds a Master's degree in Computer Engineering from École Polytechnique Fédérale de Lausanne and an ingénieur diploma in Electrical Engineering from École Polytechnique.