Dian Ling

Master Student

Northeast Normal University

Research Interests

About

I am now a third-year Master Student at Northeast Normal University(NENU), major in Computer Science, advised by Prof.Minghao Yin and Assoc. Prof.Shuli Hu.

Before that, I received my bachelor’s degree in computer science from School of Information Science and Technology, Northeast Normal University.

My research interest lies in (Parallel) Automated Reasoning, SAT basically and Heuristic Search.

I am currently seeking PhD position in automated reasoning, with a primary focus on opportunities in Europe and America.

Selected Publications

View All →

None

News

[2024-09]

I just graduated from Northeast Normal University as an outstanding graduate student.

[2023-09]

I will start to pursuing a master degree in Computer Science at Northeast Normal University.

[2023-06]

I went to Institute of Computing Technology, Chinese Academy of Sciences as a visiting student.