开车漫画

In this presentation, we explore the relationships among several fundamental concepts in mathematics and computer science: computability, structures, and logic. Our focus will be on the foundational ideas that underpin these concepts and how they interact with one another. Throughout the talk, we will provide various examples, including explanations and insights from the speaker's perspective on a few known theorems in the fields of computable model theory and the theory of automatic structures. The presentation will be elementary and easy to follow.

个人简介:

Bakh Khoussainov is the director of Algorithms & Logic Lab at the University of Electronic Science and Technology of China. His research interests range from Mathematical logic to theoretical computer science. He is an academician of Academia Europaea, Fellow of The Royal Society of New Zealand, a national talent of China (长江学者讲席学者), Winner of Nerode prize of the European Association for TCS and receiver of STOC 2017 best paper award. He supervised over 20 PhD students, and published over 160 research papers. He has held professorship and visiting professorship positions at Cornell University, Heidelberg University, National University of Singapore, Novosibirsk University, Kyoto University, etc.