Home
Explore
Journal Club
Trending
More
Synapse
⌘+K
Synapse
Language
English
English
RR
Radu Rugina
Logic, programming, and type systems
Kitware (United States)
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
41 pubs · 1,627 cites · h-index 22
Affiliations
Kitware (United States)
VMware (United States)
Cornell University
See all
Publications