|
Yizheng Zhao (赵一铮)Associate Professor, PhD SupervisorKnowledge 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 Email: zhaoyz@nju.edu.cn |
|
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.
Two crucial facets of human intelligence:
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.
| 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 |
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: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.