Scholar

Giovanni Bernardi

Google Scholar ID: hEunXYQAAAAJ

Assistant professor, Université Paris Diderot - Paris VII

Semantics of programming languagesconcurrencytype theory

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

470

H-index

10

i10-index

10

Publications

20

Co-authors

6

list available

Contact

No contact links provided.

Publications

2 items

A uniform characterisation of the (a)synchronous must-preorder

2026

Cited

0

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

Senior Lecturer (Associate Professor) at the School of Computing Science, University of Glasgow

Dimitrios Kouzapas

Research Associate University of Cyprus

Michele Bugliesi

Professor of Computer Science, Universita' Ca' Foscari Venezia