Research areas
Symbolic AI
Knowledge representation
Theorem proving
Concurrency theory
Cybersecurity-by-design
Luís Cruz-Filipe
Associate Professor and Head of Studies for IMADA
Department of Mathematics and Computer Science
| Phone: | +4565504560 |
| Email: | lcf@imada.sdu.dk |
| Webpage: | https://portal.findresearcher.sdu.dk/en/persons/lcf |
