My picture

Yizheng Zhao (赵一铮)

Associate Professor
Knowledge Representation & Reasoning Group (KRistal)
School of Artificial Intelligence
National Key Laboratory for Novel Software Technology
Nanjing University

Research Fellow
Shenzhen Research Institute of Nanjing University

Address: Room A505, Siu Yat-Fu Building, Xianlin Campus, 163 Xianlin Avenue, Qixia District, Nanjing, China
My picture

Short Bio

I obtained my Ph.D. degree in Computer Science from The University of Manchester in 2017, (by good fortune) under the supervision of Prof. Renate A. Schmidt, where in the same research group I acquired my first postdoctoral work experience. Right after this, I joined the Department of Computer Science at University of Oxford as a postdoctoral researcher, where I took a sip of Automata Theory and Database Theory. From May 2019, I have been working as an associate professor in the School of Artificial Intelligence at Nanjing University.

Research Interests

Two crucial facets of human intelligence:

In Artificial Intelligence (AI), these two abilities are respectively embodied by [Machine Learning] and [Knowledge Representation and Reasoning].

My research is situated in the realm of AI, with particular interest in Logics for Knowledge Representation and Reasoning (KR or KRR). Knowledge Representation is the study of how beliefs, intentions, and value judgments of an intelligent agent can be expressed in a transparent, symbolic notation suitable for automated reasoning. KR is one of the oldest areas of AI, as from early on researchers realized that knowledge and reasoning are two of the key components of intelligent behavior. I am currently working with Description Logics (DLs) and DL-based Ontologies. DLs are logical formalisms (formalisms = formal languages = languages with formal syntax and semantics) for representing knowledge about a domain of interest; they have a long tradition in AI, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained significant momentum since they form the logical basis of widely used ontology languages such as the W3C Web Ontology Language (OWL).


An irregularly updated list of my publications is available online via a shiny DBLP database. Also, Google Scholar is so kind to maintain the metadata of my publications.

Research Projects

Research Students

The following is a tabular list of research students whom I have had great pleasure to supervise:

Full Name Program Enrollment Graduation Highlights
Xuan Wu (吴萱) Ph.D. 2020.9 2025.6 Research Intern at OSCAR of University of Oxford;
One research paper accepted to WWW2021 (co-first authorship, student travel grant);
One demo paper accepted to CIKM2020 (first authorship, student travel grant)
Heng Zhang (张恒) M.S. 2019.9 2022.6
Yuting Gao (高雨婷) M.S. 2020.9 2023.6
Zhao Liu (刘昭) M.S. 2020.9 2023.6 2020 DIGIX全球校园AI算法精英大赛机器学习赛道团体第四名;
One research paper accepted to CIKM2021 (first authorship, student travel grant)
Yue Xiang (向粤) M.S. 2020.9 2023.6 2020 DIGIX全球校园AI算法精英大赛机器学习赛道团体第四名;
One research paper accepted to WWW2022 (first authorship)
Shuni Xu (许书铌) M.S. 2020.9 2023.6 2020 DIGIX全球校园AI算法精英大赛机器学习赛道团体第四名
Zhihao Yang (杨志豪) M.S. 2020.9 2023.6
Yiming Deng (邓一鸣) M.S. 2021.9 2024.6
Sen Wang (王森) M.S. 2021.9 2024.6
Zhaoyue Xiao (肖棹月) M.S. 2021.9 2024.6
Wenxing Deng (邓文星) B.S. 2017.9 2021.6 Enrolled as a master's student at Carnegie Mellon University
Yu Dong (董昱) B.S. 2018.9 2022.6 入选2021年度腾讯“犀牛鸟精英工程人才培养计划”
Chang Lu (陆畅) B.S. 2018.9 2022.6 Enrolled as an exchange student at Yale University
Dingwei Shi (施顶威) B.S. 2018.9 2022.6
Chengjia Wang (王成佳) B.S. 2018.9 2022.6
Tianci Zhang (张恬慈) B.S. 2018.9 2022.6
Ruiqing Zhao (赵瑞卿) B.S. 2018.9 2022.6 入选2021年度腾讯“犀牛鸟精英工程人才培养计划”
Xinhao Zhu (朱鑫浩) B.S. 2018.9 2022.6 入选2021年度腾讯“犀牛鸟精英工程人才培养计划”
Le Guan (官乐) B.S. 2019.9 2023.6 入选2021年度微软亚洲研究院Ada Workshop夏令营
Yi Lu (鲁毅) B.S. 2019.9 2023.6
Yuxuan Shi (石雨萱) B.S. 2019.9 2023.6
Shirui Wang (王诗睿) B.S. 2019.9 2023.6

Upcoming Group Seminars

Yue Xiang 2021/11/2 19:00 -- 21:00 @A410: Xuan Wu 2021/11/8 18:00 -- 20:00 @A410: Zhao Liu 2021/11/15 18:00 -- 20:00 @A410: Yiming Deng, Sen Wang, Zhaoyue Xiao 2021/11/22 18:00 -- 20:00 @A410: Shuni Xu 2021/11/29 18:00 -- 20:00 @A410: Zhihao Yang 2021/12/6 18:00 -- 20:00 @A410: Group Tutorial Part I 2021/12/12 9:00 -- 18:00 @A410: Group Tutorial Part II 2021/12/20 18:00 -- 21:00 @A410: Zhihao Yang 2021/12/30 18:00 -- 19:30 @A410: Zhao Liu 2021/12/30 19:30 -- 21:00 @A410: Yiming Deng, Sen Wang, Zhaoyue Xiao 2022/01/03 18:00 -- 21:00 @A410: Yiming Deng, Sen Wang, Zhaoyue Xiao 2022/01/30 16:00 -- 17:30 @A410:

Info for Prospective Research Students

Students interested in pursuing a master's/doctoral degree in the areas of logics, knowledge representation, automated reasoning, ontologies, ontology-based knowledge systems, and other topics within my area of expertise are welcome to have a chat with me about possible projects. Personally, I would prefer students to undertake a full-time program that includes a significant amount of time for academic growth, but is certainly rooted in a vocational subject chosen by the students.

For the present within KRistal, in desperate need are students to undertake research on the topic of ontology learning from text. In particular, the topic is concerned with identifying terms, concepts, relations, and optionally axioms from textual information and using them to construct and maintain ontologies, which can be based on the artistry of natural language processing, machine learning, data mining, and information retrieval. Hence, students with immense interest and strong footing in these areas are greatly preferred.

Before deciding to join KRistal, you may want to take care of the following information: Please be truthful to your self and respectful of your interest, make a careful, responsible decision and stay committed to your decision. If you insist on thinking & acting outside the box, hmm...welcome to join KRistal:-)


At overseas universities: At Nanjing University:

My Availability (Google Calendar)

Last modified on January 14th, 2022