Robust Machine Learning

P-lambda Group, August 2015-January 2016. In this work, I (1) designed a novel framework to incorporate training noise into models; (2) analytically solved corresponding optimization problems and formalized an algorithm; (3) implemented the algorithm, […]

Read Article →

Totally Beluga

Computation and Logic Group, McGill University, May 2013-August 2014. Today, we routinely specify and reason about the runtime behaviour of software using formal systems such as type systems or logics […]

Read Article →