The main purpose of the book is to give a rigorous introduction to the most important and useful solution methods of various types of stochastic control problems for jump diffusions and their applications. Both the dynamic programming method and the stochastic maximum principle method are discussed, as well as the relation between them. Corresponding verification theorems involving the Hamilton-Jacobi-Bellman equation and/or (quasi-)variational...