| Ming Li | |
| Field: | Mathematics, Computer science, Bioinformatics |
| Work Institution: | University of Waterloo University of California at Santa Barbara York University Harvard University Ohio State University |
| Alma Mater: | Wayne State University Cornell University |
| Doctoral Advisor: | Juris Hartmanis |
| Thesis Title: | Lower Bounds in Computational Complexity |
| Thesis Year: | 1985 |
Ming Li is a Canadian computer scientist, known for his fundamental contributions to Kolmogorov complexity, bioinformatics, machine learning theory, and analysis of algorithms.[1] Li is currently a University Professor at the David R. Cheriton School of Computer Science at the University of Waterloo.[2] He holds a Tier I Canada Research Chair in Bioinformatics. In addition to academic achievements, his research has led to the founding of two independent companies.
Li received a Master of Science degree (Computer Science) from Wayne State University in 1980 and earned a Doctor of Philosophy degree (Computer Science) under the supervision of Juris Hartmanis, from Cornell University in 1985. His post-doctoral research was conducted at Harvard University under the supervision of Leslie Valiant.
Paul Vitanyi and Li pioneered Kolmogorov complexity theory[3] and applications, and co-authored the textbook An Introduction to Kolmogorov Complexity and Its Applications.[4]
In 2000, Li founded Bioinformatics Solutions Inc, a biomedical software company, primarily providing solutions for tandem mass spectrometry protein characterization. Originally developed to identify novel peptides through de novo peptide sequencing, the technology has been adapted to address antibody characterization. Other products have included protein structure prediction, general purpose homology searching, and next generation sequencing glyco-peptide research.
In 2013, Li co-founded Technologies Inc, an artificial intelligence company. Utilizing statistical machine learning, deep neural networks, and natural language processing, the company develops a unique language-understanding platform for knowledge mining, sentence parsing, practical question-answering, and human-computer chatting. The software has been applied on voice-control navigation systems, personal tour guide applications, robotics, and other intelligent electronics.[5]