Mingsheng Ying is affiliated with the University of Technology Sydney in Australia. Their research activity predominantly falls within the field of Computer Science, with a strong focus on subfields such as Artificial Intelligence, Atomic and Molecular Physics and Optics, Computational Theory and Mathematics, Hardware and Architecture, and Electrical and Electronic Engineering.
The scientist's work covers a range of main topics, notably in Quantum Computing Algorithms and Architecture, Quantum Information and Cryptography, Quantum Mechanics and Applications, Parallel Computing and Optimization Techniques, Computability, Logic, and AI Algorithms, Low-power high-performance VLSI design, and Logic, programming, and type systems.
A selection of recent papers includes:
Mingsheng Ying has collaborated frequently with several coauthors, including Yuan Feng, Qisheng Wang, Ji Guan, Wang Fang, and Sanjiang Li.
The researcher has contributed extensively to various publication venues, with the most frequent being arXiv (Cornell University), Proceedings of the ACM on Programming Languages, IEEE Transactions on Information Theory, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, and ACM Transactions on Quantum Computing.
In addition to articles, Mingsheng Ying has published a book titled Model Checking Quantum Systems in 2021, under Cambridge University Press.
Mingsheng Ying
Mingsheng Ying
Mingsheng Ying
Mingsheng Ying
Nengkun Yu;Nengkun Yu;Runyao Duan;Runyao Duan;Mingsheng Ying;Mingsheng Ying
Sanjiang Li;Mingsheng Ying
Mingsheng Ying
Yuan Feng;Runyao Duan;Mingsheng Ying
Runyao Duan;Yuan Feng;Mingsheng Ying
Runyao Duan;Yuan Feng;Mingsheng Ying
Mingsheng Ying
Guoming Wang;Mingsheng Ying
Zhengfeng Ji;Guoming Wang;Runyao Duan;Yuan Feng
Yongzhi Cao;Mingsheng Ying
Runyao Duan;Yuan Feng;Zhengfeng Ji;Mingsheng Ying
Yuan Feng;Runyao Duan;Mingsheng Ying
Yongzhi Cao;Mingsheng Ying
Mingsheng Ying
Runyao Duan;Yuan Feng;Yu Xin;Mingsheng Ying
Yuan Feng;Yuan Feng;Nengkun Yu;Nengkun Yu;Mingsheng Ying;Mingsheng Ying
Mingsheng Ying
If you think any of the details on this page are incorrect, let us know.
Hong Kong Polytechnic University
Istituto Superiore di Sanità
Texas A&M University
Leiden University
University of Utah
University of Arizona
Max Planck Society
University of Pennsylvania
The University of Texas Health Science Center
Tokyo Institute of Technology
National University of Singapore
Deakin University
Huazhong University of Science and Technology
University of Oxford
University of Southern California
Hungarian Academy of Sciences
