Website Truong Dai Hoc Pham Van Dong

I. LÝ LỊCH SƠ LƯỢC

Họ và đệm: Võ Đức Lân	Giới tính: Nam
Ngày, tháng, năm sinh: 03 - 03 - 1984	Nơi sinh: Quảng Ngãi
Quê quán: Nghĩa Thương – Tư Nghĩa – Quảng Ngãi
Dân tộc: Kinh
Học vị cao nhất: ThS.	Năm, nước nhận học vị: 2013
Chức danh khoa học cao nhất:	Năm bổ nhiệm:
Chức vụ (hiện tại hoặc trước khi nghỉ hưu): Giảng viên
Đơn vị công tác (hiện tại hoặc trước khi nghỉ hưu): Khoa CNTT- Trường ĐH Phạm Văn Đồng
Chỗ ở riêng hoặc địa chỉ liên lạc: 216 Nguyễn Nghiêm - TT La Hà - Tư Nghĩa – Quảng Ngãi
Điện thoại liên hệ: CQ: 0553828830, NR: , Di Động: 0913010117
Fax:	Email: vdlan@pdu.edu.vn

II. QUÁ TRÌNH ĐÀO TẠO

1. Đại học:
Hệ đào tạo: Chính quy
Nơi đào tạo: Trường ĐH Khoa Học Tự Nhiên - TPHCM
Ngành học: Công nghệ thông tin
Nước đào tạo: Việt Nam	Năm tốt nghiệp: 2008
2. Sau đại học:
- Thạc sĩ chuyên ngành: Khoa học máy tính	Năm cấp bằng: 2014
Nơi đào tạo: Trường Đại học Khoa học Huế
- Tiến sĩ chuyên ngành:	Năm cấp bằng:
Nơi đào tạo:
Tên luận án:
3. Ngoại ngữ:
- Ngoại ngữ 1: Tiếng Anh	Mức độ sử dụng: B1

III. QUÁ TRÌNH CÔNG TÁC CHUYÊN MÔN

Thời gian	Nơi công tác	Công việc đảm nhiệm
3/2008-10/2029	TMA Solutions	Kỹ sư phần mềm
11/2009 - nay	Khoa CNTT-Trường ĐH Phạm Văn Đồng	Giảng viên

IV. QUÁ TRÌNH NGHIÊN CỨU KHOA HỌC

1. Các đề tài nghiên cứu đã và đang tham gia:

Stt	Tên đề tài nghiên cứu	Năm bắt đầu/Năm hoàn thành	Đề tài cấp(NN, Bộ, Ngành, trường)	Trách nhiệm tham gia trong đề tài
1	Xây dựng phần mềm quản lý thư viện Trường Đại học Phạm Văn Đồng	2021	Đề tài cấp Cơ sở	Thành viên chính
2	Xây dựng phần mềm quản trị thông tin hệ thống máy tính tại Khoa CNTT	2021	Đề tài cấp trường	Chủ nhiệm đề tài
3	Nghiên cứu tạo ca kiểm thử đột biến cho các hệ thống chuyển đổi trạng thái	2023	Đề tài cấp trường	Chủ nhiệm đề tài

2. Các công trình, bài báo, tham luận khoa học đã công bố:

Stt	Tên công trình	Năm công bố	Tên tạp chí	Ghi chú
1	Sinh ca kiểm thử cho các hệ thống phản ứng sử dụng công cụ kiểm chứng mô hình NuSMV	2014	Kỷ yếu hội thảo khoa học – ĐH Sư phạm Đà Nẵng
2	Ứng dụng công cụ NuSMV tạo ca kiểm thử từ máy hữu hạn trạng thái	2014	Tạp chí khoa học và công nghệ Trường Đại học Phạm Văn Đồng
3	Kiểm thử đột biến sử dụng kiểm chứng mô hình	2015	Tập chí Khoa học Công nghệ Trường ĐH Phạm Văn Đồng
4	Nghiên cứu môi trường LUTESS dùng để kiểm thử trong thệ thống đa phương thức tương tác	2018	Tập chí Khoa học Công nghệ Trường ĐH Phạm Văn Đồng
5	Kiểm thử đột biến cho các hệ thống chuyển đổi trạng thái sử dụng NuSMV	2023	Tập chí Khoa học Công nghệ Trường ĐH Phạm Văn Đồng
51

3. Sách, giáo trình:

Stt	Tên sách/giáo trình	Nơi xuất bản	Năm xuất bản
1	Lập trình hướng đối tượng	Nhà xuất bản KH&KT	2019