Scholar

Alessandro Bruni

Google Scholar ID: rhBj7QYAAAAJ

Associate Professor. IT-University of Copenhagen

Static AnalysisModel CheckingDynamic AnalysisArtificial Intelligence

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

370

H-index

11

i10-index

12

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

4 items

Vancomycert: A Certified Neuro-Symbolic Drug Delivery System (Case Study)

2026

Cited

0

Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice

2026

Cited

0

A Foundation for Differentiable Logics using Dependent Type Theory

2026

Cited

0

Cryptographic Choreographies

2026

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)