Computer Programming with Guillaume M.

IBM Research

Researched whole-program static analysis of the Security Enhanced Linux Kernel and detected novel vulnerabilities. Patented a technique to make C programs analyzable by tools designed for Java (Patent #7,493,602 — Methods and Arrangements for Unified Program Analysis)

Body Labs

Provided leadership to a team of 20 software engineers, planned and executed technical development programs, and contribute to the construction of Body Labs’ software that understands body shape from 2d images and video

Private company

Contributed to the refinement and implementation of a novel block chain algorithm invented by Stanford Professor David Mazières that seeks to be the first federated distributed consensus protocol that provides strong safety guarantees and anti-censorship guarantees

Sefaira

Provided strong technical leadership and collaborated with developers to design and deliver high-quality products and features in a timely manner. Delivered a real-time physics simulation engine that models the energy performance of green buildings in Scala and Akka, atop AWS, with supporting software in C#, Ruby, JavaScript & Node.js. Established a small module, service-oriented architecture, with twelve-factor app deployment. Contributed to visibility, accountability, and agility of the product by establishing the use of the Sprint, then the Kanban process. Trained developers to program in Scala and on proven design principles and practices

Racket Research Team at the Worcester Polytechnic Institute

Collaborated with the Learning Sciences Department to construct award-winning models and evidence on the behavior of novice programmers' interactions with their compiler's error messages. Proceeded per lean methods: rapid hypothesis generation, validation, and pivoting. Invented an evidence-supported UX design which is live at wescheme.org, the cloud ide used by one of the official curriculums of code.org

Students for a Just and Stable Future

Audited the group's communications for scientific accuracy. Authored policy memos. Ran training to improve our members' scientific literacy, and increase their confidence when communicating scientific concepts.

Indian Institute of Information Technology and Management of Kerala

Taught Principles of Programming, based on the book How to Design Programs.

Securitas Canada

Managed multiple concurrent projects and coordinated the work of many development contractors. Analyzed key business data using time series Fourier models and linear optimization models. Constructed information management dashboards for the president's office, including their UX-design

McGill University

Worcester Polytechnic Institute

Brown University

Native Proficiency

Professional Proficiency