a.t.'s log

Welcome!

A picture of me

My name is Alberto Tacchella. I am a researcher in mathematical physics and computer science, currently employed at the University of Trento, Italy.

Research interests

Broadly speaking, I am interested in the mathematical modeling of physical systems, using the methods of modern (algebraic and/or differential) geometry. I also have a life-long interest in computer programming and its foundations, including type theory and formal logic.

Click here to download my CV (which includes a full list of my publications).

My ORCID is 0000-0002-9748-3293.

Publications

Most of my published papers in mathematical physics are freely available at my personal arXiv page.

I also have the following contributions at conferences:

See also the italian-language version of this page for (some of) my notes written in Italian.

Slides of (selected) talks

Here you can find some of the slides (or posters) that I have used in the past while presenting my results in various places around the world.