معرفی
Radek Piórkowski is a Research Associate at the University of Oxford, specifically within the Department of Computer Science. His work focuses on automated verification, contributing to projects such as FUN2MODEL under the supervision of Marta Kwiatkowska.
۰مقاله منتشرشده
