Aarhus University logo
Department of Computer Science
QUBITS Seminar where Jens Palsberg (UCLA) will present a scalable approach to testing quantum error correction, combining stratified fault injection…
Abstract:
This talk is a gentle introduction to higher-order bialgebraicdenotational semantics in three parts. In the first act, I will arguefor…
Title
Type theory, in and around computer science
Abstract
This talk concerns my work on type theory, a family of statically typed functional…
Joint work with Mouloud Amara, Giovanni Bernardi and Adrian Francalanza.
In runtime verification (RV), a logical formula φ,…
φ
Department of Computer Science, Aarhus University is hosting a summer school in Programming Languages, Logic and Software Security.
To ensure that functional programs preserve differential privacy, a key technique involves adding noise to the result according to the…
Page 1 of 5
