Hans-Jörg Schurr is a postdoctoral researcher in the Computation Logic Center of the University of Iowa working on the the award winning SMT solver cvc5. In particular he is interested in the generation of formal proofs from SMT solvers.

Before joining the cvc5 team, he was a PhD student at Inria Nancy Grand Est advised by Pascal Fontaine and Jasmin Blanchette.

He co-maintains the SMT-LIB benchmark library.