Yuen-Lam Voronin

Department of Computer Science, University of Colorado, Boulder, CO

E-mail : yuen-lam.voronin (at) colorado (dot) edu

My research interest is primarily on continuous optimization, with applications to different scientific areas, including molecular conformation, quantum information, hybrid control systems and computer program verification.
I completed my Ph.D. in Fall 2013, under the supervision of Professor Henry Wolkowicz. I worked as a research associate, under the supervision of Professor Sriram Sankaranarayanan.

Here is my CV and my resume.

Education

Ph.D. in Combinatorics and Optimization, University of Waterloo, Canada
Thesis: Preprocessing and Reduction for Semidefinite Programming via Facial Reduction: Theory and Practice
Advisor: Professor Henry Wolkowicz
(September 2009 - December 2013)

M.Math. in Continuous Optimization, University of Waterloo, Canada
Research project: Portfolio Optimization via Downside-Risk Aversion Model
Advisor: Professor Michael J. Best
(September 2008 - August 2009)

B.Sc. in Mathematics (minor in Economics), Chinese University of Hong Kong, Hong Kong
(September 2003 - May 2007)

Publications

D. Drusvyatskiy, N. Krislock, Y.-L. Voronin and H. Wolkowicz, Noisy Euclidean distance realization: robust facial reduction and the Pareto frontier. SIAM Journal on Optimization, 27(4):2301-2331, 2017.

P. Roux, Y.-L. Voronin, and S. Sankaranarayanan, Validating numerical semidefinite programming solvers for polynomial invariants. In Static Analysis Symposium (SAS), Volume 9837 of Lecture Notes in Computer Science pp. 424-446 (2016).

A. Chakarov, Y.-L. Voronin, and S. Sankaranarayanan, Deductive proofs of almost sure persistence and recurrence properties. In Tools and Algorithms for Construction and Analysis of Systems (TACAS), Vol. 9636 of Lecture Notes in Computer Science pp. 260-279 (2016).

D. Drusvyatskiy, C.-K. Li, D.C. Pelejo, Y.-L. Voronin, H. Wolkowicz, Projection methods for quantum channel construction. Quantum Information Processing, 14(8): 3075-3096, 2015.

F. Burkowski, Y.-L. Cheung, H. Wolkowicz, Efficient use of semidefinite programming for selection of rotamers in protein conformations. INFORMS J. Comput. 26 (2014), no. 4, 748-766.

Y.-L. Cheung, S. Schurr, H. Wolkowicz, Preprocessing and regularization of degenerate semidefinite programs. In: D. Bailey, H. H. Bauschke, P. Borwein, F. Garvan, M. Théra, J. Vanderwerff, and H. Wolkowicz (Editors), Computational and Analytical Mathematics, Springer Proceedings in Mathematics & Statistics, Vol. 50. Springer, New York, 2013.

Talks

Degeneracy in SOS formulation of Lyapunov method for global asymptotic stability: why and how to exploit it.
Intl. Symposium on Mathematical Programming, Pittsburgh, PA, USA. July 2015.

On the sensitivity of semidefinite programs.
SIAM Conference on Optimization, San Diego, CA, USA. May 2014.

Efficient use of semidefinite programming for the selection of rotamers in protein conformations.
Retrospective Workshop on Discrete Geometry, Optimization, and Symmetry, Fields Institute, Toronto, ON, Canada. November 2013.

Facial reduction for semidefinite programming: theory and practice.
15th Midwest Optimization Meeting, University of Western Ontario, London, ON, Canada. October 2013.

Sensitivity Analysis for SDP.
Optimization Days, HEC Montreal, Montreal, QC Canada. May 2013.

Preprocessing and reduction for degenerate semidefinite programs.
- 7th Intl. Congress on Industrial and Applied Mathematics, Vancouver, BC, Canada. July 2011.
- 13th Midwest Optimization Meeting, Fields Institute, Toronto, ON, Canada. October 2011.
- INFORMS Annual meeting, Phoenix, AZ, USA. October 2012.

Structure based drug design problem: solving a class of quadratically constrained SDP problems.
Intl. Symposium on Mathematical Programming, Berlin, Germany. August 2012.

Strong duality in semidefinite programming and facial reduction with applications to sensor network localization and molecular conformation.
Computational and Analytical Mathematics Conference in honour of Jonathan Borwein's 60th Birthday, IRMACS Center, Simon Fraser University, Vancouver, BC, Canada. May 2011.

Robust optimization: applications in portfolio selection problems.
Research meeting at Tata Consultancy Services, Hyderabad, India. October 2009.

Teaching Experience

Lecturer at CU Boulder
Course: Discrete Structures (undergrad.)

Sessional lecturer at University of Waterloo, Canada
Course: Continuous Optimization (undergrad./grad.)

Teaching assistant at University of Waterloo, Canada
Courses: Semidefinite Optimization (grad.), Portfolio Optimization (grad., undergrad.), Mathematical Optimization (undergrad.), Nonlinear Optimization (undergrad.), Linear Optimization (undergrad.).

Last updated: April 13, 2018