Krunal Patel

Software Engineer at Arista Networks

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 Ph.D. under the supervision of Prof. Andrea Lodi and Prof. Guy Desaulniers. After my Ph.D. I started working as a software engineer at Arista Networks in Vancouver.

My research interests:

  • Discrete optimization
  • Column Generation
  • Machine Learning.

My non-academic interests:

  • Chess
  • Work-life balance
  • Productivity

YouTube Channel: @krooonal

Publications

Progressively Strengthening and Tuning MIP Solvers for Reoptimization
Author: K. Patel
Mathematical Programming Computation (2024) DOI: 10.1007/s12532-024-00253-z
Article Link Arxiv

An improved column-generation-based matheuristic for learning classification trees
Authors: K. Patel, G. Desaulniers, A. Lodi,
Computers & Operations Research (2024) DOI: 10.1016/j.cor.2024.106579
Article Link, Arxiv

Explainable prediction of Qcodes for NOTAMs using column generation
Authors: K. Patel, G. Desaulniers, A. Lodi, F. Lecue
Journal of the Operational Research Society (2024), DOI: 10.1080/01605682.2023.2181715
Article Link, Arxiv

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.
Arxiv

Things I like to brag about !

  • Winner of the MIP Workshop 2023 Computational Competition.
  • 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 (Computer Science).
  • District rank 2 in Regional Mathematical Olympiad. Got selected for Indian National Mathematical Olympiad 2008.

Work History

Arista Networks

From July 2024 onwards.

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.


Buy me a coffee