Ziyan Luo

Hi there! I’m “Ray” Ziyan Luo, a PhD student at Mila, McGill. I’m so lucky to work with (and learn from) Dr. Xujie Si and my talented colleagues in “REAP” group! My research interest mainly lies in the intersection of Reinforcement Learning and Automated Reasoning. I’m eager to find a balance point between formal methods (strict and verifiable) and machine learning approaches (more “magical”).