Intéressé par: les statistiques, l'algèbre linéaire, l'IA; les méthodes formelles pour la sûreté de fonctionnement des programmes et des IA; l'architecture logicielle, l'architecture réseau, les systèmes; linux, les OS.