Karim TIT (Preferred)
Karim Tit
Karim TIT
Postdoc, Security and Trust interdisciplinary centre, University of Luxemburg
Joined
May 2021
Names
,
Emails
****@inria.fr (Confirmed)
****@gmail.com (Confirmed)
****@uni.lu (Confirmed)
Personal Links
Career & Education History
Postdoc
Security and Trust interdisciplinary centre, University of Luxemburg (uni.lu)
2024 – 2026
PhD student
IRISA, INRIA (inria.fr)
2021 – 2024
Advisors, Relations & Conflicts
Expertise
neuro-symbolic AI
2024 – Present
formal methods
2023 – Present
deep learning robustness
2021 – Present
Publications
Co-Authors
- Antoine Chaffin
- Eleonora Giunchiglia
- Fabien Bernier
- Florian Tambon
- Félix Fourreau
- Gilles Perrouin
- Laura Bussi
- Mathias ROUSSET
- Mathias Rousset
- Maxime Cordy
- Mike Papadakis
- Mohamed Djilani
- Olivier Zeyen
- Pantelis Dogoulis
- Paul Récamier
- Pierre Fernandez
- Salah Ghamizi
- Teddy Furon
- Thibault Simonetto
- Vincenzo Collura
- Vivien Chappelier