Giới thiệu về SATLab UET
Phòng nghiên cứu Biểu diễn SAT, Lý giải tự động và Tối ưu hóa tổ hợp tại Trường Đại học Công nghệ, Đại học Quốc gia Hà Nội (UET-VNU).
Lịch sử hình thành & phát triển
Trải qua hơn 15 năm phát triển, bắt đầu từ các nghiên cứu về thiết kế hệ thống nhúng và kiểm thử phần mềm tự động (tiền thân là Phòng thí nghiệm Hệ thống nhúng và đề tài ĐHQGHN QG.16.32 về “Sinh dữ liệu kiểm thử tự động dựa trên công cụ SMT”), nhóm nghiên cứu do TS. Tô Văn Khánh chủ trì đã phát triển thành SATLab — nhóm nghiên cứu chuyên sâu về lý thuyết biểu diễn SAT, thuật toán lý giải tự động và các bộ giải chính xác cho các bài toán tối ưu hóa tổ hợp phức tạp trong công nghiệp.
Đội ngũ nghiên cứu & đóng góp học thuật
Đội ngũ nòng cốt của phòng thí nghiệm bao gồm giảng viên chủ trì TS. Tô Văn Khánh cùng các nghiên cứu viên ThS. Kiều Văn Tuyên, HVCH. Trương Xuân Hiếu, ThS. Vũ Thanh Hương và HVCH. Đào Xuân Nghĩa. Phòng thí nghiệm cũng ghi nhận đóng góp học thuật quan trọng của 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 trong việc biên soạn các giáo trình nền tảng như “Kiến trúc máy tính” và “Công nghệ phần mềm nhúng”.
Đơn vị trực thuộc
SATLab trực thuộc Khoa Công nghệ thông tin, Trường Đại học Công nghệ, Đại học Quốc gia Hà Nội (UET-VNU).
Trang tin chính thức tại Khoa CNTT: fit.uet.vnu.edu.vn/phong-thi-nghiem-he-thong-nhung ↗
Thông tin liên hệ & địa chỉ
Địa chỉ: Phòng 404, Nhà E3, 144 đường Xuân Thủy, quận Cầu Giấy, Hà Nội, Việt Nam.
Email: khanhtv@vnu.edu.vn
Facebook Fanpage: facebook.com/satlab.uet ↗