Speaker
Prof.
Liam McAllister
(Cornell)
Description
I will describe efforts to automate the construction of flux vacua of type IIB string theory, and to find associated anti-de Sitter and de Sitter solutions.