Suite à une première expérience en recherche en informatique théorique durant mes études, je suis devenu développeur dans ma vie professionnelle.J’ai une forte appétence pour les systèmes de types et pour l’analyse statique. Cet intérêt s’est ensuite étendu à tout ce qui permet de sécuriser le code avant même les phases de test : validation, génération de documentation, génération de code, bibliothèques modulaires, architectures minimales, etc.
Java & Languages