Sort by
Refine Your Search
-
theory, gravity, holography, and string theory, broadly defined. Current projects focus on quantum information and quantum gravity, holography and de Sitter space, SYK models, and defects and interfaces in
Searches related to model checking
Enter an email to receive alerts for model-checking positions