Hans-Jörg Schurr
PhD Student at INRIA Nancy — Grand Est
| email: | hans-jorg.schurr at inria.fr |
| office: | B206 |
| postal address: | INRIA Nancy & LORIA Equipe VeriDis, Bâtiment B 615, rue du Jardin Botanique F-54602 Villers-lès-Nancy, France |
Research interests: Instantiation techniques, proof production from SMT solvers, Automated higher-order reasoning
