Philosophy · logic · software
I work across philosophy, mathematical logic, software and entrepreneurship, connecting complex ideas and data with practical decisions. My interests range from scientific representation to Python and SQL systems, grant-funded investment plans and a rural project in Liguria.
Scientific structuralism; scientific representation; translations between theories.
Research direction & academic context ↗Working title. The philosophical study is substantially developed. Isabelle/HOL formalisation is at an early stage, with syntax and semantics preparation and an initial scaffold.
Database theory and finite model theory.
Philosophy, mathematics and logic, with the qualification status and academic records for each programme.
How these studies connect ↗University of Amsterdam / ILLC
September 2024–present · Amsterdam
Ludwig-Maximilians-Universität München
October 2022–July 2024 · Konstanz → LMU Munich
Ludwig-Maximilians-Universität München
Mathematics studies: October 2022–present · LMU BSc enrolment: April 2024–present
Applied projects at ColivingLiguria S.r.l. Explore these systems and their applications on the ColivingLiguria website.
Implemented; integration work ongoing
SQL-backed coordination of people, applications, spaces, legal-document variables, events and tasks.
Implemented; integration work ongoing
Organisation profiles, proposals and delegated access with source lineage and immutable revision history.
Implemented; operational development ongoing
Separate financial records with source evidence, double-entry amounts in integer minor units, grant planning and reviewed public projections.
Workflow implemented; building models in development
AI-assisted engineering workflow connecting survey sources, structured building data, IFC identities and technical documentation.
Implemented
Python adapters turn structured register data into reusable LaTeX variables for document generation.
I develop investment plans, prepare grant applications and connect budgets with technical work and source-backed financial data.
Investment programmes, grant advisory and computational finance ↗Approved investment and grants awarded are shown here. Payments follow the conditions of each programme.
Two houses acquired in Chiappella, with restoration and digital-survey work underway. The individual-business and company projects remain distinct.
Business grant advisory ↗Interests, practical work and the wider projects around them.
Logic, epistemology, metaphysics and philosophy of science, with a current research focus on scientific structuralism and translations between theories.
Relational data, backend design and the connection between database theory and finite model theory.
Engineering workflows, reusable document systems and the restoration of rural places through ColivingLiguria.
Restoring rural houses, building community and developing the digital systems that support shared living.
Explore ColivingLiguria Living ↗Investment planning and grant advisory for companies and public bodies: from the project concept to applications and technical documentation.
Explore ColivingLiguria Business ↗A deep-tech research programme exploring aerostatic illumination through physics, engineering and software.
Explore Luna ↗