Markov Chain Monte Carlo (MCMC)

Markov chain Monte Carlo comes up all over the place in machine learning and statistics. In this video, I provide an intuitive explanation of Markov chain Monte Carlo algorithms and why they are useful.

What is Neural Network Verification?

In this video, I provide a high-level introduction to the problem of neural network verification. I use a simple example to illustrate why it is a difficult problem and provide intuition for the logic behind neural network verification tools.

The Stanford Intelligent Systems Laboratory

I co-produced this documentary to commemorate the first decade of my lab at Stanford.

I first discovered competitive jump rope when I was 8 years old, and I was immediately hooked. Growing up, I spent 10 years on the Heartbeats Jump Rope Team. I had the opportunity to travel all over the world to compete in and promote the sport of jump rope. While at Stanford, I got to dust off my old jump rope skills and join Stanford Jump Rope. See the video on the left for one of our performances!

Born and raised in Northeast Ohio, I grew up rooting on the Cleveland Guardians, Browns, and Cavs. I always loved the way that sports can unite an entire community. When I am not in the lab, you can often find me at a sporting event with my husband rooting on my favorite teams.