a.t.'s log

Benvenuti!

Mi chiamo Alberto Tacchella e sono un ricercatore in fisica matematica e informatica. Attualmente sono post-doc presso il dipartimento di informatica dell'università di Trento.

Interessi di ricerca

In generale, mi occupo di modellazione matematica di sistemi fisici usando i metodi della geometria moderna (algebrica e/o differenziale). Mi interesso anche di programmazione e di fondamenti di matematica e informatica, inclusi argomenti quali teorie dei tipi e logica formale.

Clicca qui per scaricare il mio CV (che comprende un elenco completo delle mie pubblicazioni).

Il mio ORCID è 0000-0002-9748-3293; non garantisco però che la corrispondente pagina web sia sempre aggiornata...

Pubblicazioni

La maggior parte dei miei articoli di fisica matematica sono liberamente scaricabili dalla mia pagina personale su arXiv.

Contributi presentati a conferenze:

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

Durante i miei studi per la laurea in Fisica mi è capitato di produrre alcune tesine che potrebbero essere di qualche interesse:

• Fondamenti della meccanica statistica, scritta per l'esame finale del corso di Meccanica Statistica (tenuto da Alberto Blasi);
• Le rappresentazioni proiettive irriducibili del gruppo di Galileo, scritta per l'esame finale del corso di Applicazioni Fisiche della Teoria dei Gruppi (tenuto da Gianni Cassinelli).

Durante il dottorato ho scritto degli appunti sulla teoria geometrica della gerarchia KP. Non contengono materiale originale, ma potrebbero essere utili a chi desidera impratichirsi con questi argomenti.

Slide scelte

Ecco un elenco di alcune slide (o poster) che ho utilizzato in passato per presentare i miei risultati a varie conferenze in giro per il mondo.

• The moduli space of linear control systems. Talk su invito alla conferenza Shapes of Thought: Geometry, mathematical physics, and philosophy, in onore del 60° compleanno di Claudio Bartocci (ottobre 2022).

  Questa talk è stata registrata ed è disponibile su youtube.

• An integrable variant of the Lotka-Volterra system. Talk su invito al First MYR meeting, tenutosi a Genova nel novembre del 2019.
• Correct-by-construction execution and compilation of Behavior Trees. Talk su invito tenuta presso la Fondazione Bruno Kessler di Trento nel Maggio 2019, che riguarda il mio contributo al progetto CARVE, in cui ho sviluppato un interprete certificato per Behavior Trees che è stato impiegato sul campo (robot R1) presso l'Istituto Italiano di Tecnologia.
• Integrable systems and associative geometry. Talk su invito tenuta alla SISSA di Trieste nel Dicembre 2017.
• Integrable systems on quivers. Talk su invito in occasione del 2016 Christmas workshop on Quivers, Moduli Spaces and Integrable Systems tenutosi a Genova nel Dicembre 2016.
• The solitary wave that killed the Schottky problem. Questo è stato il mio contributo ai PhD seminars, un ciclo di seminari organizzato dai dottorandi del dipartimento di Matematica dell'Università di Genova. Mi sono divertito moltissimo a preparare questo seminario! Per chi se lo stesse chiedendo, la citazione della lettera di Korteweg a de Vries è stata presa dalla biografia di quest'ultimo liberamente disponibile online sul sito MacTutor History of Mathematics archive.
• Calogero-Moser systems from associative geometry. Intervento alla conferenza Interactions between Geometry and Physics tenutasi a Guarujá (Brasile) nell'Agosto 2015.
• The non-commutative geometry of higher-rank Gibbons-Hermsen systems. Poster presentato al IV Iberoamerican Meeting on Geometry, Mechanics and Control tenutosi all'IMPA di Rio de Janeiro (Brasile) nell'Aprile 2014.
• Group actions on the moduli space of noncommutative instantons. Intervento alla School and Workshop on Moduli Spaces and Mathematical Physics tenutosi a Guanajuato (Messico) nel Gennaio 2013.
• Noncommutative symplectic geometry of Gibbons-Hermsen varieties. Intervento al Brazil-Italy Geometry Meeting 2012 tenutosi a Salvador (Brasile) nel Luglio 2012.