معرفی
Gerwin Klein is a Professor at UNSW Sydney (University of New South Wales) and affiliated with Proofcraft, based in Australia. His research focuses on Interactive Theorem Proving, Software Verification, and Semantics of Programming Languages.
۰مقاله منتشرشده
