MiroMind Appoints Top AI Researchers to Lead Core Technical Divisions

Three renowned scientists join the company to power its "Heavy Duty Solver" engine across reasoning, runtime, and verifiable AI.

Mar. 13, 2026 at 3:06am

Got story updates? Submit your updates here. ›

MiroMind, an AI research and technology company based in Redwood City, California, has announced the appointment of three distinguished scientists to its leadership team. Dr. Simon Shaolei DU will lead the Reasoning Models & Training division, Prof. Bo AN will head the Runtime & Agent Systems team, and Dr. Kaiyu YANG will establish and oversee the Verifiable AI Lab. These key hires mark a pivotal milestone in MiroMind's mission to build "Discoverable Intelligence" - AI systems capable of rigorous reasoning and solving complex, real-world problems.

Why it matters

MiroMind's vision is to create a new generation of AI platforms that can make predictions, explore new concepts, and solve difficult challenges - rather than just analyzing existing knowledge. The addition of these world-class researchers to the company's leadership team signals its commitment to pushing the boundaries of what's possible with artificial intelligence.

The details

Dr. DU, Prof. AN, and Dr. YANG bring a rare combination of academic excellence and industry experience to MiroMind. Dr. DU will lead the end-to-end construction of the company's core reasoning model training systems, while Prof. AN will oversee the design and evolution of the system execution layer architecture. Dr. YANG will establish and operate the Verifiable AI Lab, focusing on verifiable reasoning and generation to ensure the reliability and trustworthiness of MiroMind's AI outputs.

  • MiroMind announced the new hires on March 12, 2026.

The players

MiroMind

An AI research and technology company headquartered in Redwood City, California, with a mission to build "Discoverable Intelligence" - AI systems capable of rigorous reasoning and solving complex, real-world problems.

Dr. Simon Shaolei DU

The new Lead Scientist for Reasoning Models & Training at MiroMind, with expertise in machine learning theory, deep learning optimization, and the training of large-scale reasoning models.

Prof. Bo AN

The new Lead Scientist for Runtime & Agent Systems at MiroMind, with a distinguished research career at the intersection of multi-agent systems, reinforcement learning, game theory, and AI-driven decision-making.

Dr. Kaiyu YANG

The new Lead Scientist of the Verifiable AI Lab at MiroMind, with a focus on verifiable reasoning and formal proof systems to ensure the reliability and trustworthiness of AI outputs.

Tianqiao Chen

The founder of MiroMind, a serial entrepreneur and philanthropist with a global perspective on the AI ecosystem.

Got photos? Submit your photos here. ›

What they’re saying

“MiroMind's mission is not to build a more eloquent language model. It is to engineer a new class of AI systems capable of rigorous reasoning and solving hard, real-world problems — systems whose outputs are not merely plausible, but formally verifiable.”

— Tianqiao Chen, Founder, MiroMind (MiroMind)

The takeaway

By assembling a world-class team of AI researchers, MiroMind is positioning itself at the forefront of the quest to develop AI systems that can tackle complex, real-world challenges with rigor, reliability, and verifiability - a significant step forward in the evolution of artificial intelligence.