Luís Cruz-Filipe is Associate Professor of Computer Science at the University of Southern Denmark. His research interests are focused around logic and applications, including automated reasoning, explainable AI, online reasoning and software validity.
Luis Cruz Filipe
Associate Professor
| Email: | lcf@imada.sdu.dk |
