Daniel Hausmann

Registered user since Fri 27 Nov 2020

Name: Daniel Hausmann

Country: Germany

Affiliation: Friedrich-Alexander-Universität Erlangen-Nürnberg

Personal website: https://www8.cs.fau.de/people/daniel-hausmann/

Research interests: Modal Logic, Fixpoint Theory, Automata and Games

Contributions

VMCAI 2021 Committee Member in Artifact Evaluation Committee within the VMCAI-track
VMCAI 2020 Author of Cheap CTL Compassion in NuSMV within the VMCAI 2020-track
FOSSACS 2019 Author of Optimal Satisfiability Checking for Arithmetic mu-Calculi within the FOSSACS 2019-track