Geometric and Deformation Quantization of Kahler Manifolds

Geometric and deformation quantization are the most important mathematical quantization schemes of mechanical systems, focusing on the aspects of quantum observables and Hilbert spaces respectively. In a long-term project, we developed new foundations of these quantization schemes using ideas and tools from Batalin-Vilkovisky quantization. In this talk, I will describe these works and some recent progress.