Education and Qualification
- Master of Science (November, 2007)
- By Information Technology from Hanoi University of Technology,
Vietnam
- Thesis title: "Aspect modeling and verification".
- Thesis mark: 9.7/10
- Bachelor of Engineering, Honour (June, 2005)
- By Department of Software Engineering, Faculty of Information Technology,
Hanoi University of Technology, Vietnam
- "Thesis title: "Studying workflow and K2.NET for applying in
education process at FIT-HUT"
- Thesis mark: 10/10
- NIIT's Professional Diploma in Information Technology, Excellent
(2006)
- By National Institute Information Technology, India
- Certificate for Completing the Training Program for Software Design &
Development Engineers VNSW (February, 2006)
- By the Association for Overseas Technical Scholarship (AOTS),
Japan.
- Fundamental Engineer Certificate (April, 2005)
- By VITEC (equivalent to Japan Fundamental Information Technology
Skill Standards).
Research Area
- Software Verification
- Aspect-Oriented Programming
- Service-Oriented Architecture
Teaching
- Java programming
- Object-Oriented Analysis and Design
- Methods and Tools for Software Evaluation
- Computer Ethics (for Vietnam and Japan Joint ICT HRD Program)
- ITSS Software Development (for Vietnam and Japan Joint ICT HRD Program)
- Object-Oriented Language and Theory (for Vietnam and Japan Joint ICT HRD Program)
Publications
- Nguyen Thi Thu
Trang, Tran Canh Toan, Nguyen Manh Tuan, Cao Tuan Dung and Takenobu
Aoshima. An experience in developing embedded software using JNI.
In Proceedings of the ICT Research and Development Workshop (ICT'07).
Hanoi, Vietnam, December 2007 [PDF][Slides].
- Ho Tat Thanh,
Nguyen Thi Thu Trang,
Truong Ninh Thuan, and
Nguyen Viet Ha. An approach for verifying invariants of Java
objects at runtime. In Proceedings of the Japan-Vietnam Workshop on
Software Engineering (JVSE'07). Ha Noi, October 2007. [PDF][Slides].
- Nguyen Thi Thu
Trang, Ho Tat Thanh,
Truong Ninh Thuan, Nguyen Viet Ha and
Ho Sy Dam. An approach for verifying aspect advices using model checking.
In The Third National Symposium Fundamental and Applied Information
Technology Research (FAIR'07). Nha Trang, Vietnam, August 2007[PDF][Slides].
Personal
|
|
