Dipartimento di Matematica,
Università di Roma "Tor Vergata", Office 1122,
e-mail: hoyt at_mark mat.uniroma2.it
OpenPGP public key
I am a mathematician at Tor Vergata University.
I am interested in operator algebras, representation theory and quantum integrable systems in connection with algebraic quantum field theory (AQFT).
My best papers are the following, where I constructed new (or possibly new) Haag-Kastler nets, Wightman fields or Schwinger functions.
I am contributing to mathlib in Lean, a library of mathematical definitions and results in a formal language. I am hoping to add stuff related with QFT, such as the spectral theory, operator algebras, unitary representations of Lie groups, complex analysis with several variables, (operator-valued) distributions, vertex operator algebras and so on. Any contribution is much appreciated!