Cătălin Hrițcu
Scholar

Cătălin Hrițcu

Google Scholar ID: d-3XtW8AAAAJ
Tenured Faculty at MPI-SP
formal verificationprogramming languagessecurity
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,900
 
H-index
25
 
i10-index
33
 
Publications
20
 
Co-authors
79
list available
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
79 total
Benjamin C. Pierce
Benjamin C. Pierce
Professor of Computer and Information Science, University of Pennsylvania
Arthur Azevedo de Amorim
Arthur Azevedo de Amorim
Rochester Institute of Technology
Nikhil Swamy
Nikhil Swamy
Microsoft Research
Co-author 4
Co-author 4
Cédric Fournet
Cédric Fournet
Microsoft Research
Santiago Zanella-Béguelin
Santiago Zanella-Béguelin
Microsoft Research
Matteo Maffei
Matteo Maffei
Full Professor at TU Wien, Co-Director TU Wien Cybersecurity Center
Co-author 8
Co-author 8