Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alessandro Bruni
conf.researchr.org general profile
FLOPS 2026 profile
ICFP 2026 profile
POPL 2024 profile
Registered user since Wed 6 Dec 2023
Name:
Alessandro Bruni
Affiliation:
IT University of Copenhagen
Personal website:
https://alessandrobruni.name
Contributions
2026
ICFP
Author of Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice within the ICFP Papers-track
Author of Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice within the ICFP Artifacts-track
LOPSTR
Author of Vehicle with Time: Signal First-Order Logic for Closed-Loop Controller Synthesis within the LOPSTR+PPDP 2026-track
FLOPS
Committee Member in Program Committee within the FLOPS 2026-track
2024
Symposium on Practical Aspects of Declarative Languages
Panelist of Declarative Languages for Safe AI within the PADL 2024-track
Share
x
Wed 21 Oct 02:42