About SATLab UET
Satisfiability, Automated Reasoning, and Combinatorial Optimization Research Group at VNU University of Engineering and Technology (UET-VNU), Hanoi, Vietnam.
Origin & Research History
Over more than 15 years of development, evolving from early research on embedded hardware design and automated software testing (formerly the Embedded Systems Laboratory and VNU research project QG.16.32 on “Automated Test Data Generation based on SMT Solvers”), the research team led by Dr. To Van Khanh has expanded and focused into SATLab — a leading research group specializing in SAT encoding theory, automated reasoning, and exact decision algorithms for hard industrial optimization problems.
Team & Academic Legacy
The core team carrying forward the lab's research mission includes faculty lead Dr. To Van Khanh, alongside researchers M.Sc. Kieu Van Tuyen, M.Sc. Student Truong Xuan Hieu, M.Sc. Vu Thanh Huong, and M.Sc. Student Dao Xuan Nghia. The laboratory also recognizes the foundational academic contributions of former senior faculty members Assoc. Prof. Dr. Nguyen Dinh Viet and Assoc. Prof. Dr. Nguyen Ngoc Binh in authoring core curricula including “Computer Architecture” and “Embedded Software Engineering”.
Institutional Affiliation
SATLab is affiliated with the Faculty of Information Technology, VNU University of Engineering and Technology (UET-VNU), Hanoi, Vietnam.
Official Faculty Page: fit.uet.vnu.edu.vn/phong-thi-nghiem-he-thong-nhung ↗
Contact & Location
Address: Room 404, E3 Building, 144 Xuan Thuy Road, Cau Giay District, Hanoi, Vietnam.
Email: khanhtv@vnu.edu.vn
Facebook Fanpage: facebook.com/satlab.uet ↗