Hans-Jörg Schurr, PhD

Postdoctoral Research Scholar

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.

 Hans-Jörg Schurr stylised portrait - submitted
Contact Information

1 Jessup Hall (JH)
Iowa City, IA 52242
United States