Home
Explore
Journal Club
Trending
More
Synapse
⌘+K
Sign In
Sign Up for Free
Synapse
Sign In
Sign Up for Free
Language
English
English
SP
S. Prajna
Formal Methods in Verification
California Institute of Technology
Share
Follow
Claim This Profile
About
Research focus
Formal Methods in Verification
Impact
40 pubs · 5,086 cites · h-index 29
Affiliations
California Institute of Technology
Credit Suisse (Switzerland)
University of Pennsylvania
See all
Publications