-
behavior of programs at a high level. Automata theory — to manipulate logical formulas and domain representations. Two-player games — to reason about strategies and synthesized programs. The work involves
-
to effectively compile linear algebra expressions when the matrix sizes are unknown at compile-time. The project aims to address the problem using e-graphs. An e-graph is a data structure commonly used in
Searches related to electronic structure theory
Enter an email to receive alerts for electronic-structure-theory positions in sweden