The Modeling, Simulation and Optimization Laboratory (MSOLab) is one of four research laboratories in the School of Information and Technology (http://soict.hust.edu.vn/). It was founded in 2013 and is a community of theoretical computer scientists with interests in algorithms, complexity, simulation, high-performance computing, modeling, machine learning, semantics, security, logic and databases.
The mainspring of research in MSO Laboratory is the study of theories which underlie, or should in future underlie, the analysis and design of computing systems. Our work has a core of theoretical research and a practical component which explores application and implementation of the theory. Several research groups exist within MSOLab: