Constructive mathematics; Homotopy type theory; Point-free semantics.
All the information can be found in my personal home page: https://marcobenini.me/
