We define Martin-Lof random Brownian motion and investigate some of its properties. We will cover some of the "almost surely" results from classical probability theory that hold for MLR Brownian motion, and cover some of the many interesting results about the zero set of a sample path. In particular, we show that the first zero after any computable real is layerwise computable, and discuss an application to the Dirichlet problem.