-
algebras, tensor categories, lattice models of statistical physics, conformally invariant random processes, formalization of mathematics (preferably in Lean). The working language of the group is English
Searches related to model checking
Enter an email to receive alerts for model-checking positions