Sono un teorico della musica, logico, compositore e pianista. Il mio lavoro collega teoria musicale computazionale, analisi musicale formale, teoria della dimostrazione, intelligenza artificiale e nuove tecnologie musicali. Sviluppo modelli formali della struttura armonica e melodica e li traduco in software interattivi per l’analisi, la sperimentazione e la generazione musicale controllabile.
La mia attività connette ragionamento analitico, ascolto, composizione, esecuzione e insegnamento. Ho conseguito il dottorato in Filosofia cum laude alla Scuola Normale Superiore nel 2026, con la tesi In Three Movements: Beliefs, Logic, Music (relatore: prof. Mario Piazza; correlatore: prof. Satoshi Tojo). Mi sono formato in Pianoforte Jazz e Composizione Jazz al Conservatorio Mascagni di Livorno e ho completato il Master MAI in musica applicata alle immagini al Conservatorio Boccherini di Lucca nell’ottobre 2026.
I am a music theorist, logician, composer and pianist working at the intersection of computational music theory, formal music analysis, proof theory, artificial intelligence and emerging music technologies. I develop formal models of harmonic and melodic structure and translate them into interactive research software for analysis, experimentation and controllable music generation.
My work connects analytical reasoning with aural understanding, composition, performance and teaching. I earned my PhD in Philosophy cum laude at the Scuola Normale Superiore in 2026, with the dissertation In Three Movements: Beliefs, Logic, Music (supervisor: Prof. Mario Piazza; co-supervisor: Prof. Satoshi Tojo). I also trained in Jazz Piano and Jazz Composition at the Mascagni Conservatory in Livorno and completed the MAI Master in Music for Visual Media at the Boccherini Conservatory in Lucca in October 2026.
Matteo Bizzarri
Pisa
matteo.bizzarri@gmail.com
CV accademico aggiornato a novembre 2026.
Academic CV updated November 2026.
2027 · Mathematics, Computation and Complexity in Music
Relatore invitato al programma di ricerca, Cambridge, Regno Unito. Date del programma: 7 giugno–2 luglio 2027.
Invited speaker at the research programme in Cambridge, UK. Programme dates: June 7–July 2, 2027.
2–6 November 2026 · Invited Guest Composer
Ospite su invito del prof. Tony Moreira, Associate Professor of Composition. Presentazione della ricerca su logica, calcolo e analisi musicale formale; lezioni di composizione classica e jazz per studenti undergraduate e graduate. I musicisti di Belmont eseguono il mio lavoro originale Fiera d’autunno.
Invited by Prof. Tony Moreira, Associate Professor of Composition. Research presentations on logic, computation and formal music analysis, and classical and jazz composition teaching for undergraduate and graduate students. Belmont musicians perform my original work Fiera d’autunno.
2026 · Halidon Music
Progetto discografico di composizioni originali accettato per la produzione e la pubblicazione da Halidon Music.
Album project of original compositions accepted for production and release by Halidon Music.
La ricerca formale informa l'ascolto; la musica rende concreta la struttura.
Formal research sharpens listening; music turns structure into experience.
Modelli formali della struttura armonica e melodica, teoria della dimostrazione e software interattivi per l’analisi e la didattica.
Formal models of harmonic and melodic structure, proof theory and interactive research software for analysis and teaching.
Scopri di più Learn moreCompongo per film, animazione, videogiochi ed ensemble dal vivo, collegando ragionamento analitico, ascolto, esecuzione e forma drammaturgica.
I compose for films, animation, games and live ensembles, connecting analytical reasoning with listening, performance and dramatic form.
Scopri di più Learn moreModelli formali da esplorare attraverso analisi, ascolto e sperimentazione.
Explore formal models through analysis, listening and experimentation.
Analisi delle progressioni armoniche con Labelled Lambek Calculus, decomposizione sintattica automatica e generazione di sequenze di accordi basata sulla logica.
Chord progression analysis with Labelled Lambek Calculus, automated syntactic decomposition and logic-based chord-sequence generation.
Apri app Open appPrototipo di ricerca per l’analisi melodica: ruoli funzionali delle note, alberi di dimostrazione, confronto di catene nel corpus e probabilità empiriche di continuazione.
Research prototype for melodic analysis: functional note roles, proof trees, corpus-chain comparison and empirical continuation probabilities.
Apri app Open appTeoria degli insiemi di classi di altezze e relazioni tra complessi di insiemi: forme canoniche, contenuto intervallare, trasformazioni e invarianza a coppie.
Pitch-class set theory and set-complex relations: canonical forms, interval content, transformations and pairwise invariance.
Apri app Open appApplicazione proof-theoretic per la semantica frazionaria, con decomposizione automatica delle dimostrazioni e calcolo dei valori semantici.
Proof-theoretic application for fractional semantics, with automated proof decomposition and computation of semantic values.
Apri app Open appFramework per modulazioni tonali controllabili nella musica generata, sviluppato con Keshav Bhandari.
Framework for controllable key modulations in generated music, developed with Keshav Bhandari.
Apri app Open app