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í
2007 - 2012
Trường Đại học Công nghệ
Giảng dạy
2004 - 2007
Trường Đại học Công nghệ
Giảng dạy thực hành

Đề tài

Tên đề tài Cấp Vai trò Năm

Tạp chí

Tên bài báo Loại Tạp chí Tác giả
Applying T-Recs approach to table recognition trongnuoc
Checking consistency between UCM and PSM using graphical method trongnuoc ACIIDS
SAT and SMT, their algorithm designs and applications trongnuoc APSEC
raSAT: SMT for Polynomial Inequality trongnuoc JAIST Technical Report
Dynamically Reconfiguration Architecture for Embedded Systems using Kaffe trongnuoc Journal of Science of Vietnam National University, Hanoi
Checking the Conformance between the Implementation and PSM Specifications in Component Models trongnuoc Journal of Science of Vietnam National University, Hanoi
SMT for Polynomial Constraints on Real Numbers trongnuoc Electronic Notes in Theoretical Computer Science

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ò