Vu Khac Ky
I am a researcher in mathematics and computer science at FPT university, Vietnam. I graduated from Hanoi University of Science (honors programs) in 2009, then did a master at TU Kaiserslautern (Germany). In 2012, I was the unique student in France that was awarded a PhD scholarship from Microsoft Research in Cambridge, UK.
After obtaining a PhD in Theoretical Computer Science at Ecole Polytechnique (France), I worked for 2 years at ITCSC (Chinese University of Hong Kong) before coming back to Vietnam to work as the Director of Marketing at MEGA DUNK. I have officially worked at FPT University since 2019.
I am one of the primary contributors for the project Flyspeck - one of the largest projects in the history of formal mathematics. The purpose of the project is to construct a verifiable proof for the Kepler conjecture (which remained unsolved for 400 years) that can be automatically checked by computers. The project has finished successfully in 2014.
Discrete Mathematics - MAD101
Mathematics for Engineering - MAE101
Mathematics for Machine Learning - MAI391
Programming Fundamentals C - PRF192
10. Leo Liberti, Pierre-Louis Poirion & Ky Vu: Random projections for conic programs, Linear Algebra and its Applications, 626, 204 - 220 (2021).
9. Claudia D’Ambrosio, Leo Liberti, Pierre-Louis Poirion & Ky Vu: Random projections for quadratic programs, Mathematical Programming 183, 619 - 647 (2020).
8. Ky Vu, Pierre-Louis Poirion, Claudia D’Ambrosio & Leo Liberti: Random projections for quadratic programs over a Euclidean ball, Integer Programming and Combinatorial Optimization, 442 - 452 (2019).
7. Ky Vu, Pierre-Louis Poirion & Leo Liberti: Gaussian random projections for Euclidean membership problems, Discrete Applied Mathematics 253, 93 - 102 (2019).
6. Ky Vu, Pierre-Louis Poirion & Leo Liberti: Random projections for linear programming, Mathematics of Operations Research 43 (4), 1051-1071 (2018).
5. Leo Liberti, Ky Vu: Barvinok's naive algorithm in Distance Geometry, Operations Research Letters ,Volume 46, Issue 5, (2018).
4. Ky Vu, Claudia D’Ambrosio, Youssef Hamadi, Leo Liberti: Surrogate-based methods for black-box optimization, International Transactions in Operational Research, 24(3): 393 - 424 (2017).
3. Ky Vu: Random projections for high-dimensional optimization problems, 4OR - A Quarterly Journal of Operations Research, 15(3) (2017).
2. Claudia D’Ambrosio, Ky Vu, Carlile Lavor, Leo Liberti & Nelson Maculan: New error measures and methods for realizing protein graphs from distance data, Discrete and Computational Geometry, 57(2): 371 - 418 (2017).
1. Thomas Hales, Mark Adams, Gertrud Bauer, Dat Tat Dang, John Harrison, Truong Le Hoang, Cezary Kaliszyk, Victor Magron, Sean McLaughlin, Thang Tat Nguyen, Truong Quang Nguyen, Tobias Nipkow, Steven Obua, Joseph Pleso, Jason Rute, Alexey Solovyev, An Hoai Thi Ta, Trung Nam Tran, Diep Thi Trieu, Josef Urban, Ky Vu, Roland Zumkeller: A formal proof of the Kepler conjecture, Forum of Mathematics, Pi 5, e2 (2017).
My student Nhat Mai was accepted to the Master program at Bonn University (Germany).
My student Vuong Quang was accepted to the Master program at Technical University of Munich (Germany).
My student Luong Chung was accepted to the Master program at University of Montreal (Canada).