-
of mathematical proof automation: You identify and address research questions in the field of mathematical automation in numerical analysis or approximation theory. You implement the developed methods in Lean. You
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions