Ricerca
Ambito
La mia ricerca riguarda sistemi che devono rimanere comprensibili quando lo stato è distribuito, la connettività è intermittente o le decisioni automatizzate sono difficili da ispezionare. È un lavoro applicato: ogni area è legata a software che sto costruendo.
Stato local-first e recupero
Studio come mantenere un'applicazione utile offline, integrare modifiche ritardate senza nascondere i conflitti e conservare una cronologia leggibile da chi la usa.
Gli strumenti principali sono CRDT, registri append-only, identificatori deterministici e percorsi di recupero che non dipendono dalla disponibilità permanente di un servizio.
Stato privato e verifica selettiva
Le prove a conoscenza zero e il settlement privato servono quando un sistema deve dimostrare che una condizione è stata soddisfatta senza esporre l'intero stato sottostante.
Il lavoro attuale considera collegamenti di pagamento, divulgazione selettiva e registri di audit verificabili senza trasformare la privacy in opacità.
Contesto vincolato per LLM
Il comportamento di un modello dipende da ciò che entra nel contesto, da ciò che viene escluso e da come la memoria viene compressa.
Esploro vincoli, confini di retrieval, provenienza e memoria controllabile per flussi in cui una risposta non supportata costa più di un rifiuto esplicito.
Evidenza che cambia
Le analisi pubbliche e i sistemi operativi devono incorporare nuove prove senza riscrivere la storia. Mi interessano registri sensibili alle revisioni, variazioni di confidenza e code di revisione che separano le prove proposte dalle affermazioni pubblicate.
Metodo
Il metodo comune è definire prima gli invarianti, rendere visibile l'incertezza, conservare le fonti e verificare le modalità degradate oltre al percorso ideale.