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