Hi there! I’m Ziyan “Ray” Luo, a Ph.D. candidate at Mila, McGill, fortunate to work with (and learn from) Dr. Xujie Si, Dr. Doina Precup, and my talented colleagues, who continuously inspire me.
I am broadly interested in Reinforcement Learning (RL), currently with a focus on representation learning—developing compact, structured, and agent-centric encodings that support sample-efficient learning, generalization, and planning. As RL scales to complex domains like robotics, such representations become essential for tractable and robust decision-making.
A central theme in my research is understanding how abstraction can serve as a foundation for representation learning. Inspired by early work in formal verification, which emphasized abstraction as a tool for managing complexity through rigorous equivalence and refinement, I explore principles such as behavioral metrics for state abstraction and temporal abstractions in hierarchical RL as tools to integrate formal structure with learning-based flexibility.
I am also inspired by the ethos of the formal methods community: their emphasis on precision, scientific rigor, and long-term research impact shapes the way I approach problems.
When I’m not exploring algorithms, you may find me composing music that tells stories. Here’s my portfolio (some tracks even made it into popular video games!). I love blending electronic sounds with acoustic instruments to create immersive, theme-driven pieces.
Ball sports keep me energized: badminton, tennis, table tennis, billiards—you name it! And if you’re an animal lover, check out my Instagram for some furry friends.
Ph.D. in Computer Science, 2021
Mila, McGill University
Match Plan Generation in Web Search with Parameterized Action Reinforcement Learning
Spatio-temporal Trajectory Prediction
Click a title to read the story behind the work; find more on Google Scholar.