-
problems for quantum fields on asymptotically anti-de Sitter backgrounds with methods of microlocal analysis. A key goal of the project is to develop robust mathematical techniques for analyzing and
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions