
PGS. TS. Trương Anh Hoàng
Giảng viên Khoa Công nghệ Thông tin & Truyền thông
PGS. TS. Trương Anh Hoà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ố
- 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
- A Type System for Counting Instances of Software Components. Marc Bezem, Dag Hovland, and Hoang Truong. Theoretical Computer Science (Journal), ISSN 0304-3975. 2012
- 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
- 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
- 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
- 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
- On Scenario Synchronization. Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla. Automated Technology for Verification and Analysis ATVA 2010, Springer 2010, Springer LNCS. 2010
- 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
- Checking implementation of UML 2 sequence Chung-Tuyen Luu, Dinh-Phuc Nguyen, Anh-Hoang Truong. ACOMP 2010 Proceedings. 2010
- Extending CREST with multiple SMT solvers and real Do Quoc Huy, Truong Anh Hoang, Nguyen Ngoc Binh. Knowledge and Systems Engineering Proceedings, IEEE. 2010
- 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
- Real-Time Relational Interface Behavior Modeling and Nguyen Trinh Dong, Dang Van Hung, Anh-Hoang Truong. Knowledge and Systems Engineering Proceedings, IEEE. 2011
- 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
- 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
- Modeling and Specification of Real-time Interfaces with Dang Van Hung, Hoang Truong. Theories of Programming and Formal Methods, Springer LNCS. 2013
- 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
- Finding round-off error using symbolic Anh-Hoang Truong, Huy-Vu Tran, Bao-Ngoc Nguyen. Knowledge and Systems Engineering 2013 Proceedings, Springer LNCS.2014
- 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.
- 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.
- Duc-Hanh Dang, Anh-Hoang Truong, Dang Van On Model Finding with Constraint Patterns. SoMeT 2016: 279-290.
- 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.
- Ngoc-Khai Nguyen, Anh-Hoang A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs. SoICT 2017: 409-416.
- 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)
- 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).
- 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
- 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
- A Typing System for the Safe Instantiation of Marc Bezem, Hoang Truong. ENTCS Vol. 97, ISSN 1571-0661. 2004
- Counting Instances of Software Marc Bezem, Hoang Truong. Workshop on Logics For Resources, Processes, And Programs – LRPP’04 Proceedings. 2004
- Guaranteeing Resource Bounds for Component Software. Hoang Truong. Formal Methods for Open Object-Based Distributed Systems FMOODS 2005 Proceedings, Springer LNCS. 2005
- Finding Resource Bounds in the Presence of Explicit Hoang Truong, Marc Bezem. Theoretical Aspects of Computing ICTAC 2005, Springer LNCS. 2005
- Type Systems for Guaranteeing Resource Bounds of Component Hoang Truong. University of Bergen. Ph. D. Dissertation. ISBN: 82-308-0157-6. 2006
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- A Parameterized Unit Test Framework Based on Symbolic Java PathFinder. Anh-Hoang Truong, Thanh-Nhan Knowledge and Systems Engineering 2009 Proceedings, IEEE. 2009
- 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