Embedded Files
Giới thiệu
Tôi hiện là giảng viên của Đại Học FPT. Tôi tốt nghiệp ĐH Khoa học Tự nhiên Hà Nội (khoa Cử nhân Tài năng) vào năm 2009, trước khi sang Đức học 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.
Sau khi tốt nghiệp tiến sĩ tại ĐH Bách Khoa Paris (Pháp), tôi làm việc 2 năm tại Viện nghiên cứu ITCSC (Hong Kong) trước khi trở về nước đảm nhiệm vị trí Giám đốc Marketing của MEGA DUNK. Tôi chính thức làm việc tại Đại học FPT từ tháng 1 năm 2019.
Tôi là một trong các 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.
Các khoá học đang dạy
Các khoá học đang dạy
Toán học kỹ thuật (Mathematics for Engineering - MAE101)
Toán học cho Machine Learning (Mathematics for ML - MAI391)
Nghiên cứu đã công bố:
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).
News:
News:
Nhat Mai - sinh viên FU do tôi hướng dẫn, đã được nhận vào chương trình thạc sĩ tại Đại học Bonn.
Vuong Quang - sinh viên FU do tôi hướng dẫn, đã được nhận vào chương trình Master tại Đại học kỹ thuật Munich.
Luong Chung - sinh viên FU do tôi hướng dẫn, đã được nhận vào chương trình Master tại Đại học Montreal (Canada).
Page updated
Google Sites
Report abuse