Thông tin nhân sự
Quay trở lại danh sách
TS. Vũ Diệu Hương
Chức vụ: Giảng viên
Địa chỉ email: vudhuong@gmail.com
LÝ LỊCH KHOA HỌC
| 1. Họ và tên: Vũ Diệu Hương | |||
| 2. Năm sinh: 1979 3. Nam/Nữ: Nữ | |||
| 4. Học hàm: Năm được phong: Học vị: TS Năm đạt học vị: 2015 | |||
| 5. Chức vụ công tác: Giảng viên | |||
| 6. Địa chỉ nhà riêng: Hà Nội. | |||
| Điện thoại: E-mail: vudhuong@gmail.com | |||
| 7. Cơ quan công tác | |||
| Tên cơ quan: Trường Đại học Thương Mại Địa chỉ cơ quan: Hồ Tùng Mậu, Mai Dịch, Cầu Giấy, Hà Nội Điện thoại: Website: https://tmu.edu.vn/ | |||
| 8. Quá trình đào tạo | |||
| Bậc đào tạo | Nơi đào tạo | Chuyên ngành | Năm tốt nghiệp |
| Đại học | Trường Đại học Công nghệ - Đại học Quốc gia Hà Nội | Công nghệ thông tin | 2001 |
| Thạc sĩ | Trường Đại học Công nghệ - Đại học Quốc gia Hà Nội | Công nghệ thông tin | 2005 |
| Tiến sĩ | Viện Khoa học Công nghệ tiên tiến Nhật Bản | Khoa học phần mềm | 2015 |
| TT | Tên ngoại ngữ | Nghe | Nói | Đọc | Viết | |||||||||
| 1 | Tiếng Anh | Tốt | Tốt | Tốt | Tốt | |||||||||
| Thời gian (từ năm ... đến năm...) | Vị trí công tác | Lĩnh vực chuyên môn | Cơ quan công tác | |||||||||||
| 12/2001-12/2004 | Giảng viên tạo nguồn | Trường Đại học Công nghệ - Đại học Quốc gia Hà Nội | E3, 144 Xuân Thủy, Cầu Giấy, Hà Nội | |||||||||||
| 1/2005-2/2021 | Giảng viên | Trường Đại học Công nghệ - Đại học Quốc gia Hà Nội | E3, 144 Xuân Thủy, Cầu Giấy, Hà Nội | |||||||||||
| 3/2021-nay | Giảng viên | Trường Đại học Thương Mại | 79 Hồ Tùng Mậu, Mai Dịch, Cầu Giấy, Hà Nội | |||||||||||
| 11. Các bài báo khoa học được công bố | ||||||||||||||
| TT | Tên bài báo | Tác giả hoặc đồng tác giả | Nơi công bố (tên tạp chí, kỷ yếu hội thảo khoa học đã đăng ) | Năm công bố | ||||||||||
| 1 | Specifying Object Oriented Design Patterns using OWL. | Đồng tác giả | VNU Journal of Science, Natural Sciences and Technology, Vietnam National University, Hanoi. | 2010 | ||||||||||
| 2 | Faithfully formalization of OSEK/VDX operating system specification | Đồng tác giả | the third International Symposium on Information and Communication Technology. | 2012 | ||||||||||
| 3 | Checking the Conformance of a Promela Design to Its Formal Specification in Event-B | Đồng tác giả | Springer International Publishing. 1865-0929 | 2014 | ||||||||||
| 4 | A Framework for Verifying the Conformance of Design to Its Formal Specification | Đồng tác giả | Information System, The Institute of Electronics, Information and Communication Engineering. 1745-1361 | 2015 | ||||||||||
| 5 | Verifying OSEK/VDX OS Design Using Its Formal Specification | Đồng tác giả | 10th International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE Computer Society | 2016 | ||||||||||
| 6 | Automated testing reactive systems from Event-B model. | Đồng tác giả | 4th NAFOSTED Conference on Information and Computer Science. IEEE Digital Library | 2017 | ||||||||||
| 7 | A Verification Framework for Specification centered Develoments | Tác giả | DTU Journal of Science and Technology 5(48) (2021) 19-30 | 2021 | ||||||||||
| 12. Giáo trình / sách tham khảo / chuyên khảo | ||||||||||||||
| TT | Tên sách | Chủ biên hoặc thành viên | Năm / nhà xuất bản | |||||||||||
| Tên đề tài, dự án, nhiệm vụ KH&CN các cấp | Thời gian (bắt đầu - kết thúc) | Chủ nhiệm /Thư ký /Thành viên | Tình trạng | |||||||||||
| Các phương pháp và công cụ hiệu quả cho đặc tả và kiểm chứng phần mềm trong ngữ cảnh tiến hóa (QG.16.31) | 2016 - 2018 | Tham gia | Đã nghiệm thu | |||||||||||
| Khung Ngữ nghĩa hình thức cho Kết hợp và Kiểm chứng Mô hình Phát triển Phần mềm (Qũy Nafosted No.102.03-2015.25) | 2016-2018 | Tham gia | Đã nghiệm thu | |||||||||||
| Khai phá tuyến đường di chuyển thường xuyên và định tuyến hiệu quả cho dịch vụ chia sẻ phương tiện đi lại (QG.20.56) | 2020 - 2022 | Tham gia | Đang thực hiện | |||||||||||
| Nghiên cứu các kỹ thuật và công cụ hỗ trợ cho đặc tả yêu cầu và sinh tự động các chế tác trong phát triển phần mềm (QG.20.54) | 2020-2022 | Tham gia | Đang thực hiện | |||||||||||
Giảng dạy các học phần: - Công nghệ phần mềm - Lập trình hướng đối tượng - Phân tích thiết kế hướng đối tượng - Thiết kế và triển khai Website | ||||||||||||||