Luís Cruz-Filipe is Associate Professor of Computer Science at the 海角社区. 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 |
