Scholar

Jay Bosamiya

Google Scholar ID: MPKXqBIAAAAJ

Microsoft Research

software securitysystemsprogramming languagesformal methods

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

293

H-index

9

i10-index

9

Publications

15

Co-authors

34

list available

Contact

No contact links provided.

Publications

15 items

Browse publications on Google Scholar (top-right) ↗

Resume (English only)

Co-authors

34 total

Carnegie Mellon University

Associate Professor of Computer Science, Carnegie Mellon University

Craig Disselkoen