Institute of theory and applications of computing science (i.e., institute of theory) was previously the institute of theoretical computer science of school of computer science and technology at Huazhong University of Science and Technology. Our main research areas include: Resolution of NP hard problems, modeling of complex systems, applications of artificial intelligence, data mining, machine learning and so on.. Our institute has 4 professors, 5 associate professors, 3 lecturers and more than 50 on-going PhD and Master students. Our institute has undertaken various national research projects, which include: National 973 key basic research sub-project, national 863 high-tech development sub-project, national natural science foundation project, etc. Our institute has put emphasis on the combination of optimization theory and practical industrial applications, developed close collaborations with big companies on the complex system modeling and industrial optimization, and already provided intelligent solutions for our industrial partners.
The institute has produced a series of research achievements, including: in 1979, the institute first proposed the quasi-physical methods for solving NP-hard problem and thus pointed out a feasible way for solving NP-hard problems; in 1987, the institute perfectly solved the famous Tseitin problem which has troubled the society for more than 20 years. The institute won the gold medal in the third international SAT competition in 1996, the silver medal in the second international timetabling competition in 2008, the bronze medal in the first international nurse rostering competition in 2010. The institute has also won the gold, silver and bronze medals in the SAT competitions from 2005 to 2015.
Our main research areas include: Resolution of NP hard problems, modeling of complex systems, applications of artificial intelligence, data mining, machine learning and so on..