PhD Student
Acta Informatica Explainability requirements as hyperproperties
International Conference on Principles of Knowledge Representation and Reasoning (KR)
An Information-Flow Perspective on Explainability Requirements: Specification and Verification
IEEE Symposium on Logic in Computer Science (LICS)
Closure and Complexity of Temporal Causality
Tools and Algorithms for Construction and Analysis of Systems (TACAS)
Tools and Algorithms for Construction and Analysis of Systems (TACAS)
Stream-Based Monitoring of Algorithmic Fairness
Tools and Algorithms for Construction and Analysis of Systems (TACAS)
Conference on Neural Information Processing Systems (NeurIPS)
Learning Better Representations From Less Data For Propositional Satisfiability.
Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
Counterfactual Explanations for MITL Violations
Computer Aided Verification (CAV)
Synthesis of Temporal Causality
International Symposium on Automated Technology for Verification and Analysis (ATVA)
Checking and Sketching Causes on Temporal Sequences