Profile cover photo
Profile photo
Jim Grundy
Formal verification practitioner and researcher.
Formal verification practitioner and researcher.
About
Jim's posts

Post has attachment
Jim Grundy was tagged in Jim Grundy's album.
Photo

Post has attachment
Driving
Photo
Wait while more posts are being loaded