PhD Student
International Colloquium on Automata Languages and Programming (ICALP)
Loop Termination and Generalized Collatz Sequences
IEEE Symposium on Logic in Computer Science (LICS)
Closure and Complexity of Temporal Causality