Search this site
Embedded Files
Alessandro Linzi
  • Home
  • CV
  • Research
    • List of publications
    • List of Preprints
  • Teaching
  • Academic Net
  • AI Gallery
Alessandro Linzi
  • Home
  • CV
  • Research
    • List of publications
    • List of Preprints
  • Teaching
  • Academic Net
  • AI Gallery
  • More
    • Home
    • CV
    • Research
      • List of publications
      • List of Preprints
    • Teaching
    • Academic Net
    • AI Gallery

MY WEBSITE HAS MIGRATED: https://linzialessandro.github.io/PersonalWebsite/

Research Profile

I am a mathematician specializing in the model theory of valued fields and algebraic hyperstructures (hyperfields, polygroups), with broader interests spanning valuation theory, mathematical logic, and the foundations of computation. My doctoral research established novel connections across these areas, leading to publications in journals such as Journal of Algebra and Israel Journal of Mathematics.

My expertise extends to constructive logic, proof theory, and category theory, with a particular interest in the computational interpretation of logical principles, including the Curry–Howard correspondence. I am especially drawn to the role of logic as a bridge between foundational mathematics, AI theory, and aspects of quantum logic.

Alongside research, I have significant teaching experience at the university level and have contributed to collaborative projects and mentoring of graduate students.

Further details about my work and publications can be found on this page.

Contact Me

LinkedInGitHub

[...] 1+1=2 

Dem. [...]

The above proposition is occasionally useful. It is used at least three times, [...]

Bertrand Russell. Principia Mathematica. 1912. Volume II, p. 83 in the 2nd edition.

For remarks, comments or complains on the content of the website please contact me directly at: alessandro(dot)[removethispart]linzi(dot)phd(at)icloud(dot)com
Google Sites
Report abuse
Google Sites
Report abuse