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
Huawei Canada
From April 2025 onwards. Working on Optiverse optimization solvers.
Arista Networks
From July 2024 to March 2025.
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.