Recherche
Périmètre
Ma recherche porte sur des systèmes qui doivent rester compréhensibles lorsque l’état est distribué, la connexion intermittente ou les décisions automatisées difficiles à inspecter. Elle reste appliquée : chaque axe est lié à un logiciel que je construis.
État local-first et reprise
J’étudie comment une application peut rester utile hors ligne, intégrer des modifications différées sans masquer les conflits et conserver un historique lisible par l’opérateur.
Les principaux outils sont les CRDT, les journaux d’événements append-only, les identifiants déterministes et les procédures de reprise qui ne dépendent pas de la disponibilité permanente d’un service.
État privé et vérification sélective
Les preuves à divulgation nulle de connaissance et le règlement privé sont utiles lorsqu’un système doit établir qu’une condition est remplie sans exposer tout l’état sous-jacent.
Le travail actuel concerne les liens de paiement, la divulgation sélective et des journaux d’audit vérifiables sans transformer la confidentialité en opacité.
Contexte contraint pour les LLM
Le comportement d’un modèle dépend de ce qui entre dans le contexte, de ce qui en est exclu et de la manière dont la mémoire est compressée.
J’explore la conception de contraintes, les limites de récupération, la provenance et la mémoire contrôlable pour les flux où une sortie non étayée coûte plus qu’un refus explicite.
Vérification face aux preuves changeantes
Les analyses publiques et les systèmes opérationnels doivent intégrer de nouvelles preuves sans réécrire l’historique. Je m’intéresse aux enregistrements sensibles aux révisions, aux variations de confiance et aux files de revue qui séparent les preuves proposées des affirmations publiées.
Méthode
La méthode commune consiste à définir d’abord les invariants, rendre l’incertitude visible, conserver les sources et tester les modes dégradés plutôt que le seul parcours idéal.