Chuyên gia

Thông tin chuyên gia

Quay về
  Nam       Nữ
Khoa học tự nhiên
Khoa học kỹ thuật và công nghệ
Khoa học y, dược
Khoa học nông nghiệp
Khoa học xã hội
Khoa học nhân văn
Chuyên gia tư vấn về các công nghệ ưu tiên để chủ động tham gia cuộc Cách mạng công nghiệp lần thứ tư
Chuyên gia tư vấn hỗ trợ hoạt động khởi nghiệp đổi mới sáng tạo
Chuyên gia tư vấn, hỗ trợ doanh nghiệp nâng cấp, chuyển đổi công nghệ
Lĩnh vực khác

Quá trình Công tác

Thời gian
Cơ quan
Vị trí
2002 - 2004
Trường Đại học Công nghệ
Giảng dạy
2004 - 2009
Trường Đại học Công nghệ
Đào tạo SĐH, KHCN
2009 - 2010
Trường Đại học Công nghệ
Giảng dạy
2010 - 2010
Trường Đại học Công nghệ
Đào tạo, CTSV

Đề tài

Tên đề tài Cấp Vai trò Năm
Các phương pháp và công cụ phân tích chương trình và ứng dụng trong đào tạo Đại Học Quốc Gia Chủ trì 2013
Phát triển mô hình phân lớp quản trị học và quản trị nội dung cho đào tạo điện tử Đại Học Quốc Gia Chủ trì 2006
Mô hình kiến trúc website môn học Đại Học Quốc Gia Chủ trì 2003
Phát triển các phương pháp và công cụ trợ giúp công nghệ phần mềm dựa trên thành phần Đại Học Quốc Gia Chủ trì 2009

Tạp chí

Tên bài báo Loại Tạp chí Tác giả
An Approach to Checking the Compliance of User Permission Policy in Software Development trongnuoc International Journal of Software Engineering and Knowledge Engineering
Verifying Java Object Invariants at Runtime trongnuoc International Journal of Software Engineering and Knowledge Engineering
A minimized assumption generation method for component-based software verification trongnuoc IEICE Trans. on Information and Systems, E93-D
A runtime approach for estimating resource usage trongnuoc
An Improvement of Minimized Assumption Generation Method for Component-based Software Verification trongnuoc RIVF 2012
Towards scalable agent based web service systems trongnuoc NISS2010
Coordinated Consensus Analysis of Multi-agent Systems using Event-B trongnuoc SEFM 2009
On Optimization of Minimized Assumption Generation Method for Component-based Software Verification trongnuoc IEICE Trans. on Fundamentals of Electronics, Communications and Computer Sciences, Special Section on Software Reliability Engineering
Using B to Verify the Weaving of Aspects trongnuoc

Tạp chí

Hình thức Năm

Sở hữu trí tuệ

Ngoại ngữ

Ngoại ngữ
Trình độ

Kinh nghiệm

Hội đồng
Cấp
Vai trò