-
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
-
, stochastic modelling, and systems analysis. We seek applicants whose research and teaching profiles complement the department and strengthen the research area in systems and operations research by combining
Searches related to model checking
Enter an email to receive alerts for model-checking positions