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í
2006 - 2007
Công ty Punch Entertainment Vietnam
Training Manager
2004 - 2005
Trung tâm Softex, Viện Công nghệ Vi điện tử
Lập trình viên
2001 - 2002
Viện Công nghệ Thông tin
Công nghệ phần mềm
1997 - 2001
Văn phòng đại diện công ty Olivetti
Kỹ sư phần mềm
1995 - 1997
Công ty MITEC
Kỹ sư phần mềm

Đề tài

Tên đề tài Cấp Vai trò Năm
Hệ thống kiểu để xác định tài nguyên tối đa của phần mềm thành phần Trường Chủ trì 2007
Xác định bộ nhớ sử dụng của chương trình phần mềm Đại Học Quốc Gia Chủ trì 2008
Kiểm chứng chương trình Java tuân thủ đặc tả UML bằng lập trình hướng khía cạnh Đạ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ả
A Typing System for the Safe Instantiation of Components trongnuoc Proceedings
Counting Instances of Software Components trongnuoc LRPP'04 Proceedings
FixBag: A Fixpoint Calculator for Quantified Bag Constraints trongnuoc CAV 2011
A Type System for Counting Instances of Software Components. trongnuoc 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ò