a.t.'s log

Welcome!

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:

• Computing resilience of interconnected systems by piecewise linear Lyapunov functions (proceedings of the 2020 ECMS conference);
• A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System (proceedings of the 2020 ISoLA conference);
• NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems (proceedings of the 2022 TACAS conference);
• SMT-Based Stability Verification of an Industrial Switched PI Control Systems (proceedings of the 2023 VERDI workshop).

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.

• The moduli space of linear control systems. Invited talk at the online conference Shapes of Thought: Geometry, mathematical physics, and philosophy, in honour of Claudio Bartocci's 60th birthday (October 2022).

  This talk has been recorded and is available on youtube.

• An integrable variant of the Lotka-Volterra system. Invited talk at the First MYR meeting, Genoa (November 2019).

  These slides are about some previously unpublished work of mine which goes back to the summer of 2016.

• Correct-by-construction execution and compilation of Behavior Trees. Invited talk at Fondazione Bruno Kessler, Trento (May 2019).

  This talk is about my contribution to the EU-funded CARVE project, in which I developed a certified interpreter for Behavior Trees which has been deployed on actual hardware (the R1 robot) at the Istituto Italiano di Tecnologia.

• Integrable systems and associative geometry. Invited talk at SISSA, Trieste (December 2017).

  These slides contain a tentative definition of a notion of associative Kähler manifold that unfortunately went nowhere (at least for now), due to a lack of significant examples.

• Integrable systems on quivers. Invited talk at the 2016 Christmas workshop on Quivers, Moduli Spaces and Integrable Systems in Genoa (December 2016).
• The solitary wave that killed the Schottky problem. Invited talk for the PhD seminars at the Mathematics Department of the University of Genoa (April 2016).

  I had so much fun in preparing this talk! In case you were wondering, the excerpt from Korteweg's letter to de Vries is taken from de Vries' biography freely available online at the MacTutor History of Mathematics archive.

• Calogero-Moser systems from associative geometry. Talk delivered at the conference Interactions between Geometry and Physics in Guarujá, Brazil (August 2015).
• The non-commutative geometry of higher-rank Gibbons-Hermsen systems. Poster presented at the IV Iberoamerican Meeting on Geometry, Mechanics and Control at IMPA, Rio de Janeiro, Brazil (April 2014).
• Group actions on the moduli space of noncommutative instantons. Talk delivered at the School and Workshop on Moduli Spaces and Mathematical Physics in Guanajuato, Mexico (January 2013).
• Noncommutative symplectic geometry of Gibbons-Hermsen varieties. Talk delivered at the Brazil-Italy Geometry Meeting 2012 in Salvador, Brazil (July 2012).