My picture

Yizheng Zhao (赵一铮)

Associate Professor, PhD Supervisor
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, (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 embodied (in part) by [Machine Learning] and [Knowledge Representation and Reasoning], respectively.

My research is situated in the realm of AI, with particular interest in Logics for Knowledge Representation and Reasoning (KR or KRR). KR is concerned with 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. It 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 some 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 regular 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 regular paper accepted to CIKM2021 (first authorship, student travel grant);
Intern at ByteDance, Beijing
Yue Xiang (向粤) M.S. 2020.9 2023.6 2020 DIGIX全球校园AI算法精英大赛机器学习赛道团体第四名;
One regular 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
Chang Lu (陆畅) B.S. 2018.9 2022.6 Admitted and enrolled as a PhD student at Yale University
Admitted as a PhD student at Carnegie Mellon University
Yu Dong (董昱) B.S. 2018.9 2022.6 入选2021年度腾讯“犀牛鸟精英工程人才培养计划”;
Admitted as a master's student at Nanjing University
Haixiang Gan (淦海翔) B.S. 2018.9 2022.6 Admitted as a master's student at Nanjing University
Dingwei Shi (施顶威) B.S. 2018.9 2022.6 Admitted as a master's student at Nanjing University
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年度腾讯“犀牛鸟精英工程人才培养计划”;
Employed as an AI engineer at Bilibili, Shanghai
Xinhao Zhu (朱鑫浩) B.S. 2018.9 2022.6 入选2021年度腾讯“犀牛鸟精英工程人才培养计划”;
Admitted as a PhD student at Nanjing University
Le Guan (官乐) B.S. 2019.9 2023.6 入选2021年度微软亚洲研究院Ada Workshop夏令营
Yi Lu (鲁毅) B.S. 2019.9 2023.6
Chenyang Ji (季晨阳) B.S. 2019.9 2023.6
Yuxuan Shi (石雨萱) B.S. 2019.9 2023.6
Shirui Wang (王诗睿) B.S. 2019.9 2023.6
Yuhuan Li (李雨桓) B.S. 2020.9 2024.6
Xinwen Zhang (张馨文) B.S. 2020.9 2024.6

Past & 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 Session I 2021/12/12 9:00 -- 18:00 @A410: Group Tutorial Session 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: Zhihao Yang 2022/02/21 18:30 -- 21:00 @A410: Xuan Wu 2022/03/17 18:30 -- 21:00 @A410: Zhihao Yang 2022/03/28 18:30 -- 21:00 @A410: Zhaoyue Xiao 2022/04/02 18:30 -- 21:00 @A410: Group Tutorial 2022/04/11 18:30 -- 21:00 @A410: Xuan Wu 2022/05/30 18:30 -- 21:00 @A410: Zhihao Yang 2022/06/13 18:30 -- 21:00 @A410: Zhaoyue Xiao 2022/07/04 18:30 -- 21:00 @A410: Yiming Deng 2022/07/11 18:30 -- 21:00 @A410: Sen Wang 2022/07/22 18:30 -- 21:00 @A410:

Info for Prospective Research Students

Students interested in pursuing a research degree, either a master's or 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. The core of a research degree is the successful completion of a research project that makes an original contribution to knowledge in a particular area of study. Although guided and advised by an expert, a research student takes full responsibility for their work. You will be expected to successfully plan and manage your research project and to deliver on time (and to budget) a thesis of appropriate standard. An important aspect of a research degree is the opportunity for training, not only in specialist research techniques but also in transferable skills relevant to employability and personal development. Research students are driven by naturally inquiring minds, and should have a strong passion to solve problems and advance humanity.

Before deciding to join KRistal, you may want to take care of the following information: Please be truthful to your self and 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:-) Although KRistal is concerned primarily with fundamental research, we have recently been taken more of an interest in applied research. In particular, we are extending a considerable commitment to the application of theoretical results to problems of commercial or social value, for example, to explore and apply KR-based and/or logic-based approaches and methodologies to some knowledge-intensive areas & applications such as medicine and biology. Working on such applications may provide a good means to validate our theoretical results and point to problems in need of further research.

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 a sure footing in these areas are greatly preferred.


At overseas universities: At Nanjing University:

My Availability (Google Calendar)

Last modified on July 24th, 2022