-
solvers, or the use of program synthesis, for example, for superoptimization. While we have a clear objective, the path towards this objective is flexible. All our work is developed in close collaboration
Enter an email to receive alerts for computer-programmer-"https:" "https:" positions