Scholar
Giovanni Bernardi
Google Scholar ID: hEunXYQAAAAJ
Assistant professor, Université Paris Diderot - Paris VII
Semantics of programming languages
concurrency
type theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
209
H-index
6
i10-index
6
Publications
20
Co-authors
6
list available
Contact
No contact links provided.
Publications
1 items
Role, cost, and complexity of software in the real-world: a case for formal methods
2025
Cited
0
Resume (English only)
Co-authors
6 total
Co-author 1
Co-author 2
Co-author 3
Ornela Dardha
Senior Lecturer (Associate Professor) at the School of Computing Science, University of Glasgow
Co-author 5
Michele Bugliesi
Professor of Computer Science, Universita' Ca' Foscari Venezia
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up