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