PGS. TS. Trương Anh Hoàng

Giảng viên Khoa Công nghệ Thông tin & Truyền thông

Học hàm

  • Năm 2014 được phong hàm Phó Giáo sư.

Quá trình đào tạo

  • Tiến sĩ tại Đại học Bergen, NaUy.
  • Thạc sĩ tại Đại học Khoa học Tự nhiên – Đại học Quốc gia Hà Nội.
  • Cử nhân tại Đại học Tổng hợp Hà Nội.

Quá trình công tác

  • Từ tháng 1/2025: Giảng viên Trường Đại học CMC.
  • Từ 2023 – 2024: Cố vấn – Công ty TNHH Dịch vụ Phần mềm Sao Khuê.
  • Từ 2007 – 2023: Giảng viên – Đại học Công nghệ, Đại học Quốc gia Hà Nội.
  • Từ 2001 – 2002: Trưởng phòng phần mềm – Viện CNTT, Đại học Quốc gia Hà Nội.
  • Từ 1997 – 2001: Phát triển phần mềm – Công ty Getronics.
  • Từ 1994 – 1997: Phát triển phần mềm – Công ty Softex, MITEC, Bộ Khoa học Công nghệ.

Sách, sách chuyên khảo, giáo trình:

  • Giáo trình Kiểm thử và Đảm bảo chất lượng phần mềm, ĐH Quốc gia, 2014.

Các công trình khoa học đã công bố

  1. FixBag: A Fixpoint Calculator for Quantified Bag Constraints. Tuan-Hung Pham, Minh-Thai Trinh, Anh-Hoang Truong, Wei-Ngan 23rd International Conference, Computer Aided Verification CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings. Springer LNCS. 2011
  2. A Type System for Counting Instances of Software Components. Marc Bezem, Dag Hovland, and Hoang Truong. Theoretical Computer Science (Journal), ISSN 0304-3975. 2012
  3. Checking the Conformance between Models Based on Scenario Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla. Journal of Universal Computer Science (J. UCS), ISSN 2293-2312. 2010
  4. Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs. Anh-Hoang Truong, Ngoc-Khai Nguyen, Dang Van Hung, Duc-Hanh Theoretical Aspects of Computing – ICTAC 2016, LNCS 9965, 2016
  5. A Type System for Counting Logs of Multi-threaded Nested Transactional Anh-Hoang Truong, Dang Van Hung, Duc-Hanh Dang, Xuan-Tung Vu. Distributed Computing and Internet Technology, LNCS 9581, 2016
  6. On Model Finding with Constraint Patterns. Duc-Hanh Dang, Anh-Hoang Truong, Van Hung New Trends in Software Methodologies, Tools and Techniques. Volume 286. 2016
  7. On Scenario Synchronization. Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla. Automated Technology for Verification and Analysis ATVA 2010, Springer 2010, Springer LNCS. 2010
  8. Verifying Implementation of UML Sequence Diagrams Using Java Dinh-Phuc Nguyen, Chung-Tuyen Luu; Anh-Hoang Truong, Radics Norbert. Knowledge and Systems Engineering Proceedings, IEEE. 2010
  9. Checking implementation of UML 2 sequence Chung-Tuyen Luu, Dinh-Phuc Nguyen, Anh-Hoang Truong. ACOMP 2010 Proceedings. 2010
  10. Extending CREST with multiple SMT solvers and real Do Quoc Huy, Truong Anh Hoang, Nguyen Ngoc Binh. Knowledge and Systems Engineering Proceedings, IEEE. 2010
  11. Kiểm chứng giao thức tương tác giữa các thành phần trong chương trình đa luồng sử dụng lập trình hướng khía cạnh. Trịnh Thanh Bình, Trương Anh Hoàng, Nguyễn Việt Hà. Tạp chí Công nghệ thông tin & Truyền thông. 2010
  12. Real-Time Relational Interface Behavior Modeling and Nguyen Trinh Dong, Dang Van Hung, Anh-Hoang Truong. Knowledge and Systems Engineering Proceedings, IEEE. 2011
  13. A type system for finding upper resource bounds of multi-threaded programs with nested transactions. Xuan-T8ung Vu, Thi Mai Thuong Tran, Anh-Hoang Truong, Martin Proceedings of the Third Symposium on Information and Communication Technology – SoICT, ACM. 2012
  14. Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting. Thi Mai Thuong Tran, Martin Steffen, Hoang Software Engineering and Formal Methods SEFM 2013 Proceedings, Springer LNCS . 2013
  15. Modeling and Specification of Real-time Interfaces with Dang Van Hung, Hoang Truong. Theories of Programming and Formal Methods, Springer LNCS. 2013
  16. Symbolic round-off error between floating-point and fixed-point. Anh-Hoang Truong, Huy-Vu Tran, Bao-Ngoc Nguyen. VNU Journal of Computer Science and Communication Engineering. 2014
  17. Finding round-off error using symbolic Anh-Hoang Truong, Huy-Vu Tran, Bao-Ngoc Nguyen. Knowledge and Systems Engineering 2013 Proceedings, Springer LNCS.2014
  18. Hoang Truong, Hung Dang Van, Duc-Hanh Dang and Vu Xuan A type system for counting logs of multi-threaded nested transactional programs. ICDCIT 2016 Proceedings. Springer – Lecture Notes in Computer Science.
  19. Trương Anh Hoàng, Nguyễn Ngọc Khải. Hệ thống kiểu tính cận trên số log cho ngôn ngữ giao dịch đa luồng tối giản. Bài báo trên tạp chí khoa học trong nước. Tạp chí số đặc biệt trường ĐHSPHN 2015.
  20. Duc-Hanh Dang, Anh-Hoang Truong, Dang Van On Model Finding with Constraint Patterns. SoMeT 2016: 279-290.
  21. Anh-Hoang Truong, Ngoc-Khai Nguyen, Dang Van Hung, Duc-Hanh Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs. ICTAC 2016: 82-99.
  22. Ngoc-Khai Nguyen, Anh-Hoang A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs. SoICT 2017: 409-416.
  23. Chu Thi Minh Hue, Dang Duc Hanh, Nguyen Ngoc Binh and Truong Anh Hoang. USLTG: Test Case Automatic Generation by Transforming Use International Journal of Software Engineering and Knowledge Engineering. Vol. 29, No. 09, pp. 1313-1345 (2019)
  24. Ngoc-Khai Nguyen, Anh-Hoang Truong and Duc-Hanh Finding Memory Bound of Cloned Objects in Software Transactional Memory Programs. International Journal of Software Engineering and Knowledge Engineering. Vol. 32, No. 06, pp. 791-818 (2022).
  25. A Typing System for the Safe Instantiation of Components (post-workshop version with all proofs). Marc Bezem, Hoang Truong. Institute of Informatics, University of Bergen. Technical report. ISSN 0333-3590. 2003
  26. Counting Instances of Software Components (post-workshop version with all proofs). Marc Bezem, Hoang Institute of Informatics, University of Bergen. Technical report. ISSN 0333-3590. 2004
  27. A Typing System for the Safe Instantiation of Marc Bezem, Hoang Truong. ENTCS Vol. 97, ISSN 1571-0661. 2004
  28. Counting Instances of Software Marc Bezem, Hoang Truong. Workshop on Logics For Resources, Processes, And Programs – LRPP’04 Proceedings. 2004
  29. Guaranteeing Resource Bounds for Component Software. Hoang Truong. Formal Methods for Open Object-Based Distributed Systems FMOODS 2005 Proceedings, Springer LNCS. 2005
  30. Finding Resource Bounds in the Presence of Explicit Hoang Truong, Marc Bezem. Theoretical Aspects of Computing ICTAC 2005, Springer LNCS. 2005
  31. Type Systems for Guaranteeing Resource Bounds of Component Hoang Truong. University of Bergen. Ph. D. Dissertation. ISBN: 82-308-0157-6. 2006
  32. Finding Upper Bounds of Component Instances with Deallocation Beyond Local Hoang Truong. ICT Hanoi 2007. VNU Journal of Science, Natural Sciences and Technology. ISSN 0866-8612. 2007
  33. A Type System for Counting Instances of Software Components (preliminary version of TCS journal). Marc Bezem, Dag Hovland, Hoang Truong. Institute of Informatics, University of Bergen. Technical report. ISSN 0333-3590. 2007
  34. Checking Interface Interaction Protocols Using Aspect-oriented Programming. Anh-Hoang Truong, Thanh-Binh Trinh, Dang Van Hung, Viet Ha Nguyen, Nguyen Thi Thu Trang, Pham Dinh Hung. Software Engineering and Formal Methods – SEFM, IEEE. 2008
  35. Computing Heap Space Cost of Java Card Applets. Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong. RIVF 2008, International Conference on Computing and Communication Technologies, IEEE. 2008
  36. Some Approaches to Nôm Optical Character Recognition. Pham Van Huong, Tran Minh Tuan, Do Quoc Huy, Le Hong Trang, Vu Thanh Nhan, Nguyen Ngoc Binh, Truong Anh Hoang, Vu Quang ICT Hanoi 2008 Proceedings. VNU Journal of Science, Natural Sciences and Technology. ISSN 0866-8612. 2008
  37. A Dynamic Birthmark to Detect the Theft of Java Programs. Thanh-Binh Trinh, Anh-Hoang Truong, Viet-Ha Nguyen. ICT Hanoi 2008 Proceedings. VNU Journal of Science, Natural Sciences and Technology. ISSN 0866-8612. 2008
  38. Tối ưu trọng số thuộc tính cho mô hình ước lượng chi phí dự án phần mềm. Võ Văn Thành, Trần Thị Mai Thương, Trương Anh Hoàng, Lê Việt Hà, Nguyễn Việt Hà. Hội thảo quốc gia lần thứ 11 “Một số vấn đề chọn lọc của Công nghệ thông tin và Truyền thông”. 2008
  39. Một số phương pháp nhận dạng chữ Nôm. Phạm Văn Hưởng, Trần Minh Tuấn, Nguyễn Thị Ngọc Hương, Bùi Thị Hồng Hạnh, Lê Hồng Trang, Vũ Thanh Nhân, Trương Anh Hoàng, Vũ Quang Dũng, Nguyễn Ngọc Bình. Hội thảo Khoa học Quốc gia Lần thứ IV về CNTT-TT (ICT. rda), pp. 200-208. 2008
  40. A fast algorithm to compute heap memory bounds of Java Card applets. Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Software Engineering and Formal Methods – SEFM, IEEE. 2008
  41. Test Case Generation for Adequacy of Floating-point to Fixed-point Tuan-Hung Pham, Anh-Hoang Truong, Wei-Ngan Chin, Takenobu Aoshima. Electronic Notes in Theoretical Computer Science ENTCS. Vol. 266, ISSN 1571-0661. 2009
  42. Checking Protocol Conformance In Component Models Using Aspect Oriented Programming. Thanh-Binh Trinh, Anh-Hoang Truong, Viet-Ha Advances in Computer Science and Engineering, ACSE. 2009
  43. A Parameterized Unit Test Framework Based on Symbolic Java PathFinder. Anh-Hoang Truong, Thanh-Nhan Knowledge and Systems Engineering 2009 Proceedings, IEEE. 2009
  44. Nôm Character Recognition Using Maximum Entropy Model And Pseudo-Skeleton Feature. Le Hong Trang, Nguyen Ngoc Binh, Truong Anh Hoang. Kỷ yếu Hội thảo Khoa học Công nghệ Quốc gia lần thứ tư. Nghiên cứu cơ bản và ứng dụng công nghệ thông tin – FAIR. 2009.

Sản phẩm khoa học công nghệ ứng dụng trong nước:

T T  

Tên sản phẩm

Thời gian, hình thức, quy mô,

địa chỉ áp dụng

 

Công dụng

1 Sách Mềm Các trường phổ thông trên toàn quốc, thử nghiệm từ năm học 2016, chính thức từ năm học 2017 Phần mềm bổ trợ sách giáo khoa, giúp giáo viên, học sinh giảng dạy và học tập tốt hơn.

Nhiệm vụ Khoa học và Công nghệ đã và đang chủ trì:

 

 

 

Tên nhiệm vụ/Mã số

 

 

Thời gian

(bắt đầu – kết thúc)

 

Cơ quản quản lý nhiệm vụ, thuộc Chương trình (nếu có)

Tình trạng nhiệm vụ

(đã nghiệm thu/ chưa nghiệm thu/ không hoàn

thành)

Hệ thống kiểu để xác định tài nguyên tối đa của phần mềm thành phần  

2007-2008

 

ĐH Công nghệ

Đã nghiệm thu
Đặc tả và kiểm chứng giao thức tương tác của giao diện sử dụng lập trình hướng khía cạnh  

2008-2009

 

ĐH Công nghệ

Đã nghiệm thu
Kiểm chứng chương trình Java tuân thủ đặc tả UML bằng lập trình hướng khía cạnh.  

2009-2010

 

ĐH Công nghệ

Đã nghiệm thu
Sinh bộ kiểm thử tối ưu cho các hàm tính toán số học trên hệ thống nhúng  

2011-2013

 

ĐH Quốc gia Hà Nội

Đã nghiệm thu

Nhiệm vụ Khoa học và Công nghệ đã và đang tham gia với tư cách thành viên:

 

 

 

Tên/ Mã số

 

 

Thời gian

(bắt đầu – kết thúc)

 

Cơ quan quản lý nhiệm vụ, thuộc Chương trình (nếu có)

Tình trạng nhiệm vụ

(đã nghiệm thu/ chưa nghiệm thu/ không hoàn

thành)

Tính mô-dun trong các hệ thống máy tính và phần mềm lớn 2001-2006 ĐH Bergen, Na Uy Đã nghiệm thu
Phần mềm tin cậy 2003-2008 ĐH Quốc gia Singapore Đã nghiệm thu

Quá trình tham gia đào tạo sau Đại học:

  • Số lượng tiến sĩ đã đào tạo: 2
  • Số lượng NCS đang hướng dẫn: 1
  • Số lượng thạc sĩ đã đào tạo: trên 20