On Four Non-Computable Decision Problems

Jan 1, 2015·
Kun WANG
Kun WANG
,
Nan Wu
,
Fangmin Song
· 0 min read
Abstract
This paper studies four decision problems from the perspective of computability theory and establishes that they do not admit general algorithmic decision procedures.
Type
Publication
Journal of Computational Information Systems 8(1), 1-8
publication research
Computability Decision Problems
Kun WANG
Authors
Kun WANG
Associate Researcher

I am an Associate Researcher and Outstanding Young Talent in the College of Computer Science and Technology, National University of Defense Technology (NUDT).

My research develops practical foundations for reliable and scalable quantum information processing. I work across photonic quantum computing, quantum characterization, verification and validation, distributed quantum estimation, and quantum information theory.

Before joining NUDT, I was a Senior Researcher at the Institute for Quantum Computing, Baidu Research, from 2020 to 2023. I led the development of the Quantum Error Processing (QEP) toolkit for characterizing, mitigating, and correcting errors in quantum devices through software. I received the Shenzhen Industrial Development and Innovation Talent Award in 2023.

Previously, I was a postdoc at the Shenzhen Institute for Quantum Science and Engineering (SIQSE), Southern University of Science and Technology, where I worked with Prof. Masahito Hayashi.