Vũ Khắc Kỷ
Giảng viên AI cho các khối trường Đại học và Doanh nghiệp
Cử nhân ĐH Khoa học Tự nhiên Hà Nội
Thạc sĩ tại Đại học TU Kaiserslautern.
Năm 2012, tôi là sinh viên duy nhất ở Pháp nhận học bổng nghiên cứu tiến sĩ của Microsoft Research, Cambridge.
Tốt nghiệp tiến sĩ tại ĐH Bách Khoa Paris (Pháp)
2 năm làm việc tại Viện nghiên cứu ITCSC (Hong Kong)
Giám đốc Marketing của MEGA DUNK.
Thành viên chủ chốt của dự án Flyspeck - dự án lớn nhất trong lịch sử toán học hình thức. Dự án nhằm mục đích đưa ra 1 chứng minh có thể kiểm chứng được bằng máy tính cho Giả thuyết Kepler - giả thuyết tồn tại 400 năm không có lời giải. Vào năm 2014 dự án đã kết thúc thành công sau 11 năm thực hiện.
Nghiên cứu đã công bố:
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).