Lịch sử hình thành và phát triển
Phòng thí nghiệm Hệ thống nhúng (PTN HTN) được thành lập chính thức vào ngày 15 tháng 11 năm 2010 theo Quyết định số 406/QĐ-TCCB&CTSV, trực thuộc Trường Đại học Công nghệ, Đại học Quốc gia Hà Nội. Tiền thân của phòng thí nghiệm là một bộ phận trong dự án “Đầu tư chiều sâu trang thiết bị, nâng cao năng lực nghiên cứu khoa học và triển khai ứng dụng công nghệ” cho Phòng thí nghiệm Các hệ tích hợp thông minh – SIS (Smart Integrated Systems), được ĐHQGHN phê duyệt vào ngày 11 tháng 10 năm 2005. PTN HTN ra đời với ba chức năng chính: tổ chức nghiên cứu khoa học và triển khai ứng dụng trong lĩnh vực hệ thống nhúng; thực hiện nhiệm vụ đào tạo đại học và sau đại học thông qua việc tích hợp giải pháp đào tạo và nghiên cứu; và khai thác hiệu quả các trang thiết bị được đầu tư từ dự án SIS để phục vụ các hướng nghiên cứu chuyên sâu. Đội ngũ nòng cốt của phòng thí nghiệm bao gồm các cán bộ cơ hữu như TS. Tô Văn Khánh và TS. Trần Hoàng Việt, cùng với sự đóng góp quan trọng từ các cựu giảng viên uy tín như PGS. TS. Nguyễn Đình Việt và PGS. TS. Nguyễn Ngọc Bình.
Công tác đào tạo
Trong công tác đào tạo, các cán bộ của Phòng thí nghiệm Hệ thống nhúng tham gia tích cực vào hoạt động giảng dạy cho các chương trình cử nhân và sau đại học theo sự phân công của các bộ môn thuộc Khoa Công nghệ thông tin, bao gồm Công nghệ phần mềm, Khoa học máy tính, Mạng và truyền thông máy tính. Hoạt động đào tạo được gắn kết chặt chẽ với nghiên cứu khoa học, trong đó các nhiệm vụ nghiên cứu và thử nghiệm chế tạo hệ thống nhúng thường được lồng ghép vào quá trình hướng dẫn sinh viên thực hiện khóa luận tốt nghiệp, luận văn cao học và luận án tiến sĩ. Bên cạnh đó, các giảng viên của phòng thí nghiệm còn có những đóng góp quan trọng trong việc biên soạn tài liệu học thuật, tiêu biểu là các giáo trình như “Kiến trúc máy tính” của PGS. TS. Nguyễn Đình Việt và “Công nghệ phần mềm nhúng” của PGS. TS. Nguyễn Ngọc Bình, được sử dụng rộng rãi trong công tác giảng dạy.
Công tác nghiên cứu
Hoạt động nghiên cứu khoa học của Phòng thí nghiệm Hệ thống nhúng tập trung vào các lĩnh vực cốt lõi của hệ thống nhúng, bao gồm cả thiết kế phần cứng, phát triển phần mềm, đảm bảo chất lượng và tối ưu hóa chương trình. Trong giai đoạn từ 2015 đến 2025, phòng thí nghiệm đã triển khai nhiều đề tài, dự án tiêu biểu, tạo ra các sản phẩm khoa học công nghệ có giá trị. Nổi bật là dự án khoa học cấp nhà nước “Ứng dụng công nghệ bảo đảm an ninh, an toàn mạng và bí mật thông tin ở mức cao để phát triển bộ giải pháp an toàn an ninh mạng LAN cho cơ quan nhà nước và doanh nghiệp” (mã số: 01/2015/CNC-HDKHCN). Sản phẩm của dự án này trực tiếp đóng góp vào nhóm công nghệ về an ninh mạng, một trong các lĩnh vực chiến lược của quốc gia. Một hướng nghiên cứu quan trọng khác là việc sinh dữ liệu kiểm thử tự động, thể hiện qua đề tài cấp ĐHQGHN “Sinh dữ liệu kiểm thử tự động dựa trên các công cụ SAT Modulo Theories” (mã số: QG.16.32). Hướng nghiên cứu này góp phần nâng cao chất lượng phần mềm cho các hệ thống phức tạp, đảm bảo độ tin cậy cho các sản phẩm công nghệ chiến lược. Ngoài ra, các nghiên cứu về xử lý và nhúng chữ Nôm/Hán Nôm trong các thiết bị di động (đề tài QGTĐ.12.20, giai đoạn 2012-2015) cũng là một sản phẩm khoa học công nghệ cho thấy khả năng ứng dụng linh hoạt của hệ thống nhúng trong việc giải quyết các bài toán văn hóa-xã hội đặc thù.
Đội ngũ giảng viên
Giảng viên hiện tại
- TS. Tô Văn Khánh: Kiểm chứng và kiểm thử phần mềm; Phương pháp SAT và SMT; Vận trù học; Tối ưu Logic
khanhtv@vnu.edu.vn
- TS. Trần Hoàng Việt: Kiểm chứng phần mềm; Kiểm thử tự động; Tiến hóa phần mềm; Phân tích chương trình; Trí tuệ nhân tạo cho công nghệ phần mềm
thv@vnu.edu.vn
- CN. Trương Xuân Hiếu: Vận trù học; Mã hoá SAT/SMT
truongxuanhieu11@vnu.edu.vn
- CN. Kiều Văn Tuyên: Vận trù học, mã hoá SAT/SMT
tuyenkv@vnu.edu.vn
Cựu giảng viên
- PGS. TS. Nguyễn Đình Việt
- PGS. TS. Nguyễn Ngọc Bình
- TS. Lê Quang Minh
- ThS. Vũ Quang Dũng
- ThS. Bùi Ngọc Hải
- CN. Đặng Minh Công.
