Research

Interests

  • Active

    • Self-similarity of p-adic analytic pro-p groups
    • Interactive theorem proving
    • Rain and mass-movement data in the city of Rio de Janeiro
  • Standby or past

    • Logic, foundations of mathematics, set theory, model theory
    • Differentiable stacks, stacky Lie groupoids
    • Algebraic geometric error correcting codes
    • Algebraic stacks, moduli problems, virtual fundamental classes
    • Singular perturbations of self-adjoint operators
    • Non-archimedean mathematics, constructive quantum field theory
    • Applications of machine learning to data analysis (acustic emissions in pipelines, thermography)

Publications