-
previous experience with e-graphs, or is familiar with theory and algorithms used by, for example, proof assistants, term rewriting systems, optimizing compilers, program analysis tools, constraint solvers
-
of biomolecules which can only be successfully tackled by employing a variety of different theoretical methods. In this respect, this joint graduate college brings together the expertise in analytical theory from
Searches related to graph theory
Enter an email to receive alerts for graph-theory "DIFFER" positions