Filosofia · logica · software
Lavoro tra filosofia, logica matematica, software e imprenditorialità, collegando idee e dati complessi a decisioni concrete. I miei interessi spaziano dalla rappresentazione scientifica ai sistemi Python e SQL, ai piani di investimento sostenuti da contributi e a un progetto rurale in Liguria.
Laurea magistrale in Logica · University of Amsterdam / ILLC
Esami completati · tesi in corso ↗Strutturalismo scientifico; rappresentazione scientifica; traduzioni tra teorie.
Direzione della ricerca e contesto accademico ↗Titolo di lavoro. La ricerca filosofica è in buona parte sviluppata. La formalizzazione in Isabelle/HOL è in una fase iniziale: sto approfondendo sintassi e semantica e ho predisposto una prima struttura di lavoro.
Teoria delle basi di dati e teoria dei modelli finiti.
Filosofia, matematica e logica: per ogni percorso, lo stato degli studi e la documentazione accademica.
Come si intrecciano questi studi ↗University of Amsterdam / ILLC
Settembre 2024–oggi · Amsterdam
Ludwig-Maximilians-Universität München
Ottobre 2022–luglio 2024 · Konstanz → LMU Monaco
Ludwig-Maximilians-Universität München
Studi di Matematica: ottobre 2022–oggi · iscrizione alla triennale LMU: aprile 2024–oggi
Progetti applicati per ColivingLiguria S.r.l. Scopri questi sistemi e le loro applicazioni sul sito di ColivingLiguria.
Implementato; integrazione in corso
Coordinamento tramite SQL di persone, candidature, spazi, variabili per documenti legali, eventi e attività.
Implementato; integrazione in corso
Profili di organizzazioni, proposte e accessi delegati, con tracciabilità delle fonti e cronologia delle revisioni non modificabile.
Implementato; sviluppo operativo in corso
Registrazioni finanziarie distinte, collegate ai documenti di origine, con contabilità in partita doppia, importi espressi in centesimi interi, pianificazione dei contributi e dati pubblici sottoposti a revisione.
Processo implementato; modelli degli edifici in sviluppo
Un processo di ingegneria assistito dall’IA che collega fonti di rilievo, dati strutturati degli edifici, identità IFC e documentazione tecnica.
Implementato
Adattatori Python trasformano i dati strutturati dei registri in variabili LaTeX riutilizzabili per generare documenti.
Sviluppo piani di investimento, preparo domande di finanziamento e collego i budget al lavoro tecnico e a dati finanziari documentati.
Programmi di investimento, finanza agevolata e finanza computazionale ↗Qui sono riportati gli investimenti approvati e i contributi concessi. Le erogazioni seguono le condizioni di ciascun programma.
Due case acquistate a Chiappella, con lavori di recupero e rilievo digitale in corso. I progetti della ditta individuale e della società restano distinti.
Consulenza alle imprese per la finanza agevolata ↗Interessi, lavoro concreto e i progetti più ampi di cui fanno parte.
Logica, epistemologia, metafisica e filosofia della scienza, con una ricerca attualmente rivolta allo strutturalismo scientifico e alle traduzioni tra teorie.
Dati relazionali, progettazione dei backend e il legame tra teoria delle basi di dati e teoria dei modelli finiti.
Processi di ingegneria, sistemi documentali riutilizzabili e il recupero di luoghi rurali attraverso ColivingLiguria.
Recuperare case rurali, costruire comunità e sviluppare i sistemi digitali che supportano la vita condivisa.
Scopri ColivingLiguria Living ↗Pianificazione degli investimenti e consulenza per la finanza agevolata a imprese ed enti pubblici: dall’idea progettuale alle domande e alla documentazione tecnica.
Scopri ColivingLiguria Business ↗Un programma di ricerca deep-tech che studia l’illuminazione aerostatica attraverso fisica, ingegneria e software.
Scopri Luna ↗