Giới thiệu

Địa chỉ: Thủy Nguyên - Hải Phòng, Hải Phòng
Email: huongdt83@dhhp.edu.vn
Điện thoại: 0963821282

Quá trình đào tạo

STT
Bằng cấp
Ngành / Chuyên ngành
Nơi đào tạo
Năm tốt nghiệp
1
Đại học
Công nghệ thông tin
Đại học Sư phạm Hà Nội
2004
2
Thạc sỹ
Công nghệ phần mềm
Đại học Công nghệ - Đại học Quốc Gia Hà Nội
2009
3
Tiến sỹ
Kỹ nghệ phần mềm
Đại học Công nghệ - Đại học Quốc Gia Hà Nội
2019
4
Trung cấp lý luận chính trị
Chính trị
Trường Chính trị Tô Hiệu Hải Phòng
2006

Quá trình công tác

STT
Thời gian
Chức danh
Đơn vị công tác
1
01/04/2019 - -
Giảng viên chính
Khoa Công nghệ thông tin - Đại học Hải Phòng
2
01/06/2012 - 01/03/2019
Giảng viên
Khoa Công nghệ thông tin - Trường Đại học Hải Phòng
3
01/04/2005 - 01/06/2011
Giảng viên
Khoa Toán Tin - Trường Đại học Hải Phòng

Quá trình giảng dạy

STT
Học phần đã/đang giảng dạy
Chương trình đào tạo/trình độ
1
INF731 - Phân tích thiết kế các hệ thống thông tin (có BTL)
Công nghệ thông tin
2
INF722 - Kỹ nghệ phần mềm
Công nghệ thông tin
3
INF721 - Ngôn ngữ mô hình hóa UML
Công nghệ thông tin

Trình độ ngoại ngữ

STT
Ngôn ngữ
Chứng chỉ
Trình độ
1
Tiếng Anh
Khung năng lực ngoại ngữ 6 bậc Châu Âu
B2

Các đề tài, dự án đã chủ trì hoặc tham gia

STT
Tên đề tài
Năm bắt đầu
Năm kết thúc
1
Kĩ thuật chuyển đổi bài toán từ phân tích thiết kế hệ thống hướng cấu trúc sang hướng đối tượng.
2013
2014
2
Kiểm chứng tính nhất quán của hệ thống phần mềm trong tiến trình tái cấu trúc.
2015
2016
3
Xây dựng công cụ kiểm chứng tính nhất quán của mô hình phần mềm sau tiến trình tái cấu trúc.
2017
2018

Kết quả NCKH đã công bố

STT
Tên bài báo
Tên tạp chí / ISSN
Tập
Số
Trang
Năm công bố
1
Verifying the Reliability of Web Services Transactions using Temporal Logic and NuSMV.
Information and Computer Science
43–51
2014
2
Integrating and checking access permissions in object oriented models.
Information and Computer Science
49–53
2015
3
An approach to analyzing execution preservation in Java program refactoring.
International Conference on Context-Aware Systems and Applications
101-110
2016
4
A Formal Approach to Checking Consistency in Software Refactoring.
Mobile Networks and Application,
Vol.22
2
356–366
2017
5
A Tool Support for Checking Consistency in Model Refactoring.
In Proc. of the 9th International Conf. on Knowledge and Systems Engineering
108-113
2017
6
Preservation of class invariants in refactoring UML models.
International Journal of Software Engineering and Knowledge Engineering
2019
7
Tổng hợp về tấn công mạng bằng DDoS trong SDN
Tạp chis Đại học Hải Phòng
58
45-55
2023
8
An Approach to Prevent DDoS Attack Using Real-Time Access Logs Analysis
Asian Conference on Intelligent Information and Database Systems.
92-105
2023

Biên soạn sách phục vụ đào tạo (trung cấp, cao đẳng, đại học và sau đại học)

STT
Tên sách
Năm
Nhà xuất bản
Tác giả

Giải thưởng

STT
Giải thưởng
Năm

Thành tựu hoạt động khoa học khác

STT
Nội dung
Năm đạt