
Registered user since Tue 7 Aug 2018
Name: Georgiana Caltais
Affiliation: University of Konstanz
Personal website: https://www.sen.uni-konstanz.de/members/research-staff/dr-georgiana-caltais/
Contributions
OPCT 2019 | Causal Reasoning for Safety | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2019-profile
View general profile
View general profile