معرفی
Hans-Jörg Schurr is a postdoctoral researcher in Computer Science at the University of Iowa's College of Engineering, focusing on SMT solving and formal verification. He contributes to the cvc5 SMT solver and leads development of the SMT-LIB benchmark library alongside Clark Barrett, Mathias Preiner, and Pascal Fontaine.
- Research Focus: Proof certificates, logical frameworks, and expressive type systems for SMT solvers
- Tools: Eunoia language (combining LFSC and Alethe), veriT SMT solver
- Collaborations: Active with the Alethe proof format specification team and SMT competition organizers
Scientific Awards:
- Best Paper by a Junior Researcher (PxTP 2021)
Teaching: Provided lectures at University of Iowa (Programming Language Concepts, Logic in Computer Science, Algorithms) and Polytech Nancy (Software Engineering, Distributed Programming). Recognized by graduating class of 2023 and received Thank-a-Teacher Letter.
۰مقاله منتشرشده
