xamidi
Proof theory & complexity
Education
RWTH Aachen University
Work
Logician (theoretical computer science) · Developer (HPC & logic tools)
Proof theory & complexity
Education
RWTH Aachen University
Work
Logician (theoretical computer science) · Developer (HPC & logic tools)
Want to connect with xamidi?
Create an account to connect with xamidi. You can also sign in below to proceed if you already have an account.