Scholar
Jay Bosamiya
Google Scholar ID: MPKXqBIAAAAJ
Microsoft Research
software security
systems
programming languages
formal methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
293
H-index
9
i10-index
9
Publications
15
Co-authors
34
list available
Co-authors
10 total
Bryan Parno
Carnegie Mellon University
Marijn Heule
Associate Professor of Computer Science, Carnegie Mellon University
Craig Disselkoen
UC San Diego
Deian Stefan
UC San Diego
Oded Padon
Weizmann Institute of Science
Antoine Delignat-Lavaud
Microsoft Research
Cédric Fournet
Microsoft Research
Tahina Ramananandro
Microsoft Research
