-
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
-
. Applications are welcome from all areas of operations research, including but not limited to optimization, mathematical programming, analytics, data-driven decision-making, stochastic modelling, and systems
Searches related to model checking
Enter an email to receive alerts for model-checking positions