1998 - 2003: Đại học, Công nghệ thông tin, Trường Đại học Bách Khoa Hà Nội, Việt Nam,

2007 - 2009: Khoa học máy tính, Saarland University, Đức, ngày cấp bằng 2009

2010 - 2014: Công nghệ thông tin/ Kỹ thuật phần mềm, Trường Đại học Công nghệ - Đại học Quốc Gia Hà Nội, Việt Nam, ngày cấp bằng 2015

2019 - nay: Trưởng Khoa, Khoa Công nghệ thông tin,

2017 - 5/2020: Phó trưởng phòng, Phòng Đảm bảo chất lượng giáo dục,

2016 - nay: Trưởng bộ môn, BM Khoa học máy tính, Khoa CNTT,

2005 - nay: Giảng viên, BM Khoa học máy tính , Khoa Công nghệ thông tin, Trường Đại học Mỏ - Địa chất,

2004 - 2004: , Công ty dịch vụ viễn thông Vinaphone,

2003 - 2004: , Ngân hàng công thương Việt Nam - VietinBank,

2002 - 2003: , Công ty phần mềm DTT, Hà Nội

Công nghệ phần mềm, Đại học

Lập trình hướng đối tượng, Đại học

Dữ liệu lớn, Cao học

1. Ngoc-Thanh Nguyen, Nhu-Ngoc Dao, Quang-Dung Pham, Hong Anh Le, Intelligence of Things: Technologies and Applications, Springer Cham, 2022

1. Nguyễn Thái Đại , Trường Đại học Mỏ - Địa chất, 2021

2. Nguyễn Quốc Dũng , Trường Đại học Mỏ - Địa chất, 2020

3. Đàm Bá Ngọc , Trường Đại học Công nghệ, 2019

4. Nguyễn Phương Bắc , Trường Đại học Bách Khoa Hà Nội, 2019

5. Nguyễn Văn Thắng , Trường ĐH Công nghệ, Đại học Quốc gia Hà Nội

6. Phạm Quang Hiển , Trường Đại học Công nghệ, Đại học Quốc Gia Hà Nội, 2020

Software Engineering, Formal methods, Software Verification, Software Testing Mobile Development, Big Data

1. Nghiên cứu ứng dụng công nghệ thông tin trong quản lý điều hành công tác xúc bốc – vận tải nhằm nâng cao hiệu quả khai thác ở các mỏ than lộ thiên vùng Quảng Ninh, Thành viên chính Đang thực hiện

2. Phân tích chương trình và ứng dụng trong kiểm chứng phần mềm, Mã số Nafosted 102.03-2014.40, Tham gia, Nghiệm thu 2018

1. Nghiên cứu phát triển phần mềm trung tâm giám sát độ ẩm đất, mức độ hạn đất, trượt lở đất trên máy chủ tích hợp công nghệ Web-GIS cho một tỉnh khu vực miền núi phía Bắc, thí điểm tại tỉnh Lai Châu, Mã số CT_2019.01.05, CNĐT Đang thực hiện

2. Kiểm chứng sự tương đương của các mô hình phần mềm, Mã số QG.14.07, Tham gia, Nghiệm thu 2018

1. Mô hình hóa và kiểm chứng các hệ thống phần mềm nhúng, Mã số T15.01, CNĐT Đang thực hiện

1. Hong Anh Le, Analyzing energy leaks of Android applications using Event-B, Mobile Networks and Applications, 2021

2. Hong Anh Le, To Van Khanh, Ninh Thuan Truong, Formal Analysis Of Database Trigger Systems Using Event-B, International Journal of Software Innovation (IJSI), 2020

3. Hong Anh Le,Anh Tu Bui, Ninh-Thuan Truong, An Approach to Modeling and Estimating Power Consumption of Mobile Applications, Mobile Networks and Applications, 2018

4. Hong Anh Le Thi-Huong Dao Ninh-Thuan Truong, A Formal Approach to Checking Consistency in Software Refactoring, Mobile Networks and Applications, 2017

5. Hong Anh Le Shin Nakajima Ninh Thuan Truong, Formal analysis of imprecise system requirements with Event-B, SpringerPlus, 2015

6. Dung Nguyen, Hong Anh Le, A big data framework for satellite images processing using Apache Hadoop and RasterFrames: a case study of surface water extraction in Phu Tho, Viet Nam, International Journal of Advanced Computer Science and Applications, 11, 12, 2020

7. XiliangZhang, HoangNguyen, Xuan-NamBui, HongAnh Le,TrungNguyen-Thoi,HosseinMoayedi, VinyasMahesh, Evaluating and Predicting the Stability of Roadways in Tunnelling and Underground Space Using Artificial Neural Network-Based Particle Swarm Optimization, Tunnelling and Underground Space Technology, 2020

1. Pham Van Hoa, Tran Trung Chuyen, Le Hong Anh, Pham Van Viet, Nguyen T. Thu Hoa, Strategy in Dispatching Trucks and Shovels with Different Capacity to Increase the Operating Efficiency in Cao Son Surface Coal Mine, Vietnam, Inzynieria Mineralna, 2021

1. Hong Anh Le, Thuan Truong, Formal Modeling and Verification of Context-Aware Systems using Event-B, EAI Endorsed Transactions on Context-aware Systems and Applications, e4, 2014

1. T. T. Chuyen, N.M Dung, L.H. Anh, N.T Xuan, D.N. Long, Phân tích và mô hình hóa dữ liệu cảm biến quán tính của iPhone sử dụng phương sai Allan, Tạp chí Khoa học kỹ thuật Mỏ - Địa chất, 55, 2016

1. Hong Anh Le, Trigger2B: A Tool Generating Event-B Models from Database Triggers, EAI ICCASA, , 2020

2. Hong Anh Le, Bao Ngoc Dinh, Mai Dung Nguyen, Design and Implementation of a real-time web service for monitoring soil moisture and landslide in Lai Chau province Viet Nam, ICCASA, , 2020

3. Đinh Bảo Ngọc, Lê Hồng Anh, Nguyễn Thị Mai Dung, VGIS: an open source GIS server for real-time monitoring systems, TOPICAL ISSUES OF RATIONAL USE OF NATURAL RESOURCES, 104, 2020

4. Hanh Phuc Nguyen, Hong Anh Le, Ninh Thuan Truong, jFAT: An Automation Framework For Web Application Testing, ICCASA, , 2018

5. Phuong Nguyen, Hong Anh Le, Thomas Zinner, A Context-Aware Traffic Engineering Model for Software-Defined Networks (Best paper award), ICTCC, Lecture Notes of ICST, Springer, 2014

6. Hong Anh Le, Ninh Thuan Truong, Formal Modeling and Verification of Context-Aware Systems Using Event-B (Best paper award), ICCASA, Lecture Notes in ICST, Springer, 2013

7. Dung Nguyen, Bao Ngoc Dinh, Hong Anh Le, An Approach to Monitoring Solar Farms in Vietnam Using GEE and Satellite Imagery, The First International Conference on Intelligence of Things, , 0

8. Thanh-Nhan Luong, Hong-Anh Le, Dinh-Hieu Vo, Ninh-Thuan Truong, A Framework to Verify the ABAC Policies in Web Applications, The First International Conference on Intelligence of Things, 124, 0

9. , Modeling and Verifying WS-CDL Using Event-B, In Proc. ICCASA 2012. Lecture Notes in ICST Vol 109, pp. 290-299, Springer, , 2012

10. Hong Anh Le, Ninh Thuan Truong, Modeling and Verifying DML Triggers Using Event-B, ACIIDS, Lecture Notes in CS, Vol 7083, Vol 2, pp. 539-548, Springer, 2013

11. Hong Anh Le, Loan Dinh, Thuan Truong, Modeling and Verifying Imprecise Requirements of Systems Using Event-B, KSE, AISC Vol 244, pp. 313-325, Springer, 2013

12. Hong Anh Le, Shin Nakajima, Thuan Truong, Verifying Eventuality Properties of Imprecise System Requirements, In Proc. The 30th ACM/SIGAPP Symposium On Applied Computing - Software Engineering Track, Salamanca, Spain, pages 1651-1653, April 13–17,, 2015

13. Phuong Nguyen, Hong Anh Le, Finding Similar Artists from the Web of Data: A PageRank based Semantic Similarity Metric, FDSE, Lecture Notes in Computer Science, Vol 9446, Springer, 2015

14. Hong Anh Le, Modeling and Verifying Event-Based Aspect-Oriented Applications, The 10th International Conference on Knowledge, Information and Creativity Support Systems, , 2015

15. Hong Anh Le, Thuan Truong, A New Method to Analyze Graphical User Interfaces of Android Applications, Lecture Notes in ICST, Springer, , 2016

16. An approach to analyzing execution preservation in Java program refactoring, An approach to analyzing execution preservation in Java program refactoring, ICCASA, Lecture Notes in ICST, Springer, 2016

17. Development of a mobile data collection and management system, Development of a mobile data collection and management system, GIS-IDEAS, , 2016

18. Hong Anh LeNinh, Thuan Truong, Aziz Nanthaamornphong, A Model-Based Method for Modeling and Verifying Event-Based Aspect-Oriented Applications, Recent Advances and Future Prospects in Knowledge, Information and Creativity Support Systems, , 0

19. Anh-Tu Bui, Hong Anh Le, Ninh-Thuan Truong, Generation of Power State Machine for Android Devices, ICCASA 2017, 49-58, 2017

2017 : Bằng khen Bộ trưởng Bộ GD&ĐT

2015 : Bằng khen Bộ trưởng Bộ GD&ĐT