Proof-based approach to stochastic processes. Brownian motion. Continuous martingales. Stochastic integration. Ito formula. Girsanov's Theorem. Stochastic differential equations. Feynman-Kac formula. Markov Processes. Local times. Levy processes. Semimartingales and the general stochastic integral. Stable processes. Fractional Brownian motion.