Thông tin chuyên gia - Chuyên gia Đà Nẵng

1. Họ tên (*)

URL

2. Năm sinh

3. Giới tính

Nam Nữ

4. Học hàm

Năm

5. Học vị

Năm

6. Lĩnh vực nghiên cứu

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

Mã ngành

Chuyên ngành (C3)

Chuyên ngành (C2)

Lĩnh vực nghiên cứu

7. Chức danh nghiên cứu

8. Chức vụ

Năm bắt đầu công tác

9. Thông tin liên lạc

Điện thoại

Số di động

Địa chỉ

Phường/Xã

Quận/Huyện

Tỉnh/Thành phố

10. Đơn vị (*)

11. Lĩnh vực tư 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í

Đề 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í
New upper bounds on the separating redundancy of linear block codes.	quocte	Proceedings of the 30th Symposium on Information Theory in the Benelux, Eindhoven, 2009marriage affairs open i want an affair. No: WIC30. Pages: 209-216.
Scheduler-specifi c con fidentiality for multi-threaded programs and its logic-based verifi cation.	quocte	Proceedings of the 2011 International Conference on Formal Verification of Object-Oriented Software (Revised Selected Papers) (FoVeOOS'11), Springer-Verlag, Turin, 2011. No: Volume 7421 of LNCS. Pages: 178-195.
Quantitative security analysis for multi-threaded programs.	quocte	Proceedings of the 11th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'13), Rome, 2013. No: Volume 117 of EPTCS. Pages: 34-48.
Confi dentiality for probabilistic multi-threaded programs and its verifi cation.	quocte	Proceedings of the 5th International Conference on Engineering Secure Software and Systems (ESSoS'13), Springer-Verlag, Paris, 2013. No: Volume 7781 of LNCS. Pages: 107-122.
Quantitative security analysis for programs with low input and noisy output.	quocte	Proceedings of the 6th International Conference on Engineering Secure Software and Systems (ESSoS'14), Springer-Verlag, Munich, Germanyunfaithful spouse will my husband cheat again i dreamed my husband cheated on meabortion stories gone wrong read teenage abortion facts. No: Volume 8364 of LNCS. Pages: 77-94.
Effective verifi cation of confidentiality for multi-threaded programs.	quocte	Journal of Computer Security (A special issue), IOS Press. No: Volume 22, number 2/2014. Pages: 269-300.
Measurement of Current Magnitude for Home Appliances using Smart E-Meter.	trongnuoc	The Proceedings of the 2015 KIIT Summer Conference. Số: 2015-06. Trang: 279-283.

Tạp chí

Hình thức	Năm

Sở hữu trí tuệ

Ngoại ngữ

Trình độ

Kinh nghiệm

Hội đồng

Cấp

Vai trò