Abstract: This course will review fundamental techniques and selected topics in nonlinear functional analysis. These topics include advanced materials on the geometric properties of Banach spaces, subdifferentials, the existence and asymptotic behavior of solutions to evolution equations of monotone type, nonlinear ergodic theorems, and the characterization and compactification of almost periodic functions. Finally, the application of proof mining in nonlinear analysis will be presented.