TRINH THANH BINH
-
Ph.D. (Software Engineering, VNU University of Engineering and Technology, Vietnam, 2012)
-
M.Sc. (Information Technology, VNU University of Engineering and Technology, Vietnam, 2005)
-
B.Sc. (Mathematics–Informatics, VNU University of Science, Vietnam, 2000)
Dr. Trinh Thanh Binh is a Lecturer at Phenikaa University, joining the institution in 2022 after over two decades of academic service and research leadership. He previously held key positions including Dean and Chair of Department at Haiphong University. His research expertise spans formal verification, model refactoring, and component-based software development.
In addition to his academic roles, Dr. Binh co-founded two tech companies and contributed to university digital infrastructure projects. He has published extensively in IEEE and Springer conferences on knowledge and systems engineering, and his work contributes to the formal methods and multi-agent systems communities. He is a recognized reviewer for various IEEE transactions and an active member of national research initiatives.
RESEARCH INTERESTS
-
Formal Methods and Temporal Logic in Software Engineering
-
Multi-agent Systems and Consensus Protocols
-
Component-Based Software Development
-
Web Services Verification and Scenario Compliance
SELECTED PUBLICATIONS
- T.-B. Trinh and N.-T. Truong, “TCG: An approach to improving test-driven development by exploiting use case specifications,” Int. J. of System Assurance Engineering and Management, accepted, 2025. (Q2 ranking on Scimago)
- T.-B. Trinh and N.-T. Truong, “Conflict analysis of the Chinese Wall security policy model using Event-B,” International Journal of Innovative Computing, Information and Control, No. 4, 2025. (Q2 ranking on Scimago)
- TB Trinh, VK To, NT Truong, HA Le, Analysing Conflict of Interest Integrated in Role-Based Access Control Model Using Event-B, Lecture Notes on Data Engineering and Communications Technologies, vol 229. Springer, ICIT 2024
- Thanh-Binh Trinh, Hanh-Phuc Nguyen, Dinh-Hai Nguyen, Van-Khanh To, Ninh-Thuan Truong, ” Checking Temporal Constraints of Events in EBS at Runtime” Cybernetics and Information Technologies. https://dl.acm.org/doi/abs/10.2478/cait-2024-0005, 2024 (Q2 ranking on Scimago)
- Anh-Minh Nguyen, Van-Hieu Vu & Thanh-Binh Trinh , “Detection and Diagnosis of Atopic Dermatitis Using Deep Learning Network” . The International Conference on Intelligent Systems & Networks, 2023
- Thi-Huong Dao, Thanh-Binh Trinh, Ninh-Thuan Truong, A Tool Support for Checking Consistency in Model Refactoring. In Proc. of the 9th International Conf. on Knowledge and Systems Engineering, pp. 108-113, Springer LNCS, 2017.
- Thi-Huong Dao, Thanh-Binh Trinh, Verifying the reliability of web services transactions using temporal logic and NuSMV, The first NAFOSTED Conference on Information and Computer Science, 2014.
- Ninh Thuan Truong, Thanh Binh Trinh and Van Hieu Vu, Formalizing and checking web service discovery model using B. Journal of computer science and cybernetics, 2012.
- Ninh Thuan Truong, Thanh Binh Trinh and Viet Ha Nguyen, Automated analysis of consensus protocol in specification of multi-agents coordination, VNU Journal of Science, Natural Sciences and Technology, Vol. 28, No. 1, pp. 1-10, 2012.
- Thanh-Binh Trinh, Ninh-Thuan Truong, and Viet-Ha Nguyen Refining Undetermined Events for Specifying Concurrent Programs, KSE2011, 3rd Intern Conference on Knowledge and Systems Engineering pp. 143-148, Hanoi, Vietnam.
- Thanh-Binh Trinh, Quang-Thap Pham, Ninh-Thuan Truong, and Viet-Ha Nguyen, A Runtime Approach to Verify Scenario in Multi-agent Systems KSE2010, the first Conference on Knowledge and Systems Engineering pp. 143-148, Hanoi, Vietnam.
- Ninh-Thuan Truong, Thanh-Binh Trinh, and Viet-Ha Nguyen, Coordinated Consensus Analysis of Multi-agent Systems Using Event-B, Conf. on Software Engineering and Formal Method. 201-209, 7th IEEE Intern, Hanoi, Vietnam.
- Thanh-Binh Trinh, Tuan-Anh Do, Ninh-Thuan Truong, and Viet-Ha Nguyen Checking the Compliance of Timing Constraints in Software Applications, KSE2009, the first Conference on Knowledge and Systems Engineering pp. 220-225, Hanoi, Vietnam.
- Trinh Thanh Binh, Truong Anh Hoang, Nguyen Viet Ha, Checking Protocol-Conformance in Component Models using Aspect Oriented Programming, Advances in Computer Science and Engineering, pp. 150-155, Phuket, Thai Lan.
PROFESSIONAL CERTIFICATIONS
-
Certificate of Pedagogical Training for University and College Lecturers
-
Certificate for Professional Title of Lecturer
COURSES TAUGHT
-
CSE702040 – Introduction to Computing
- CSE702025 – Software Engineering
-
CSE703010 – Software Testing
15 Floor, A9 Building
Phenikaa University
Nguyen Van Trac, Yen Nghia
Ha Noi, Viet Nam