In his 1997 preprint, M. Kontsevich proved the formality of the differential graded algebra controlling deformations of the associative and commutative algebra of functions on a manifold, seen as an associative algebra. Existence and classification of quantizations of arbitrary Poisson manifolds come out as a by-product of his formality theorem. Specifically, a quantization of a Poisson manifold is defined as star product on the manifold i.e. a formal deformation of the associative algebra of functions on the manifold such that the first order term coincides with the Poisson bracket up to gauge transformations (i.e. the Poisson bracket is the semi-classical data of the star product).
Poisson manifolds can alternatively be characterised as symplectic Lie 1-algebroid (e.g. in the terminology of Roytenberg's arXiv:math/0203110).
Symplectic Lie 2-algebroids identify with Courant algebroids.
1) Is there a known concept of quantization of Courant algebroids analogue as the one for Poisson manifolds (i.e. as a deformation of a specific structure such that the semi-classical data is a Courant algebroid)?
2) Is there an analogue of the formality theorem that would imply existence and classifications of such quantizations of Courant algebroids?
Thank you for any reference or comment!