Krunal Patel

PhD Student at Polytechnique Montreal

I graduated from BITS Pilani Goa Campus in 2015 with B.E. (Hons.) Computer Science and M.Sc. (Hons.) Mathematics. After graduation, I worked with Google from 2015 to 2020. Left Google in 2020 to start my PhD under the supervision of Prof. Andrea Lodi and Prof. Guy Desaulniers.

PS: I have also signed up as a mentor for BITSAA AMP (Alumni Mentorship Program).

My research interests:

Discrete optimization
Column Generation
Machine Learning.

My non-academic interests:

Chess
Work life balance
Study skills
Productivity

Publications

The convex relaxation barrier, revisited: Tightened single-neuron relaxations for neural network verification
Authors: C. Tjandraatmadja, R. Anderson, J. Huchette, W. Ma, K. Patel and J. P. Vielma.
Proceedings of the 33rd Conference on Neural Information Processing Systems (NeurIPS 2020), 2020, pp. 21675--21686.

Explainable prediction of Qcodes for NOTAMs using column generation
Authors: K. Patel, G. Desaulniers, A. Lodi, F. Lecue
Arxiv: https://arxiv.org/abs/2208.04955

Things I like to brag about !

Part of the developer team when the CP-SAT solver won 4 Gold medals at Minizinc Challenge 2019
All India Rank (AIR) 10 in Graduate Aptitude Test in Engineering (GATE) 2014.
District rank 2 in Regional Mathematical Olympiad. Got selected for Indian National Mathematical Olympiad 2008.

Work History

Teaching Assistant for Machine Learning course at Polytechnique Montreal

From September 2022 to December 2022. Responsible for tutorials, assignment testing and final exam evaluation.

Google Cambridge

From March 2019 to August 2020. Worked with the operations research team. Major projects: CP-SAT and TF-OPT.

Google Paris

From May 2017 to March 2019. Worked with the operations research team. Major Projects: CP-SAT and other solvers in OR-Tools.

Google Bangalore

From Sept 2015 to May 2017. Worked with the Gsuite Commerce team.