-
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
Enter an email to receive alerts for process-algebra "https:" positions