Wigner Functions in Curved Spacetimes and Deformation Quantisation of Constrained Systems

We first generalise the standard Wigner function to Dirac fermions in curved spacetimes. Secondly, we turn to the Moyal quantisation of systems with constraints. Gravity is used as an example.