= Xinyu Wu
{c}
<Xinyu Wu> is a <computer scientist> whose research has included the theoretical foundations of <quantum computing>, <pseudorandomness> in <quantum states> and <quantum channels>. A 2021 Carnegie Mellon research profile describes this combination of tools from mathematics, physics and computer science.https://www.cs.cmu.edu/news/2021/xinyu-wu-wins-ada-lovelace-fellowship[26 January 2021, research description; historical profile, not a claim of current student status]{ref}
With <Emre Yolcu> and <Marijn Heule>, Wu also studied the complexity of proving colouring properties of <Mycielski graphs>. Their work connects short formal proofs with experiments on automated proof search.<Mycielski graphs and PR proofs by Emre Yolcu and others>[Author byline, abstract and introduction]{ref}
\Image[https://www.cs.cmu.edu/files/images/wu_web2.jpg]
{title=Portrait of <Xinyu Wu>}
{description=Portrait identified on the https://www.cs.cmu.edu/news/2021/xinyu-wu-wins-ada-lovelace-fellowship[Carnegie Mellon University profile].}
{width=240}
Back to article page
