Investigação
Âmbito
A minha investigação trata de sistemas que devem continuar compreensíveis quando o estado é distribuído, a ligação é intermitente ou as decisões automatizadas são difíceis de inspecionar. É trabalho aplicado: cada área está ligada a software que estou a construir.
Estado local-first e recuperação
Estudo como uma aplicação pode continuar útil offline, integrar alterações atrasadas sem esconder conflitos e preservar um histórico legível pelo operador.
As ferramentas principais são CRDTs, registos de eventos append-only, identificadores determinísticos e percursos de recuperação que não dependem da disponibilidade permanente de um serviço.
Estado privado e verificação seletiva
As provas de conhecimento zero e a liquidação privada são úteis quando um sistema precisa de demonstrar que uma condição foi cumprida sem expor todo o estado subjacente.
O trabalho atual considera ligações de pagamento, divulgação seletiva e registos de auditoria verificáveis sem transformar privacidade em opacidade.
Contexto limitado para sistemas LLM
O comportamento de um modelo depende do que entra no contexto, do que é excluído e de como a memória é comprimida.
Exploro desenho de restrições, limites de recuperação, proveniência e memória controlável para fluxos em que uma saída sem suporte custa mais do que uma recusa explícita.
Verificação com provas em mudança
As análises públicas e os sistemas operacionais precisam de absorver novas provas sem reescrever o histórico. Interesso-me por registos sensíveis a revisões, alterações de confiança e filas de revisão que separam provas propostas de afirmações publicadas.
Método
O método comum é definir primeiro os invariantes, tornar a incerteza visível, preservar as fontes e testar modos degradados em vez de apenas o percurso ideal.