|
| UBND TỈNH QUẢNG NGÃI |
CỘNG HOÀ XÃ HỘI CHỦ NGHĨA VIỆT NAM |
| TRƯỜNG ĐH PHẠM VĂN ĐỒNG |
Độc lập - Tự do - Hạnh phúc |
| ------------------ |
--------------------------------------- |
|
|
|
LÝ LỊCH KHOA HỌC |
|
ThS. Võ Đức Lân
|
|
|
|
|
|
| |
|
| 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 |
|
|
|
|
|
|
| |
|
| 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 |
|
|
| |
|
| Tác giả (*) hoặc nhóm tác giả: |
|
| Nơi đăng: |
|
| Số, từ, đến trang, năm: |
|
| Lĩnh vực, Loại, Thể loại: |
|
| Tóm tắt tiếng Việt: |
|
| Tóm tắt tiếng Anh: |
|
|
|
|
|
|
|
| 51 |
|
|
|
|
| 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 |
|
|
|
|
|
|
Quảng Ngãi, ngày tháng năm |
| Xác nhận của lãnh đạo trường |
Người khai kí tên |
|
(Ghi rõ chức danh, học vị) |
|
|