Presents an exposition of the theory of semi-concave functions and their role in optimal control and Hamilton-Jacobi equations. Divided into two parts, this book covers the general theory in the first part. It covers applications concerning the Bolza problem in the calculus of variations and optimal exit time problems in the second part.