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