About
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.
0Publications listed
Find Radek Piórkowski elsewhere
Related Searches
You Might Also Like
Gabriel SantosUniversity of Oxford · Researcher- GGethin NormanUniversity of Oxford · Research Fellow
- MMarta KwiatkowskaUniversity of Oxford · Professor
Pedro OrvalhoUniversity of Oxford · Researcher
Marta Zofia KwiatkowskaGraz University of Technology · Professor
Minghao LiuUniversity of Oxford · Academic