Current MSc research
The project studies structural languages, theory translations, and a possible Isabelle/HOL formalisation. Final title, committee, defence, and award remain open.
← Simone Testino portfolio
AC · Academic profile
Academic and research
A pathway across mathematical logic, mathematics, philosophy, and formal methods, with academic states and research outcomes described without anticipating approval.
Profile in reviewPDF not publishedEvidence controlled
Boundary
Specific in content, cautious in claims.
This page presents study areas, artifacts, and research method. It claims no publication, unawarded degree, or machine-verified theorem.
Areas of competence
Model theory, proof theory, set theory, category theory, modal logic, formal epistemology, and philosophy of logic and mathematics.
Working artifacts
Structuralism manuscripts, a private presentation on forcing with urelements, and numerical computational-finance work, each with its own review state.
Evidence discipline
Claim ledgers, proof obligations, source maps, bibliography audits, and a distinction between designed, encoded, built, and reviewed results.
Shared academic foundation
Three pathways, three distinct states.
This foundation appears across all four profiles because research, entrepreneurship, teaching, and software belong to the same trajectory; unreconciled thesis titles remain outside the website.
BA Philosophy · LMU Munich
Bachelor of Arts conferred on 29 July 2024. The diploma and other official records remain protected.
BSc Mathematics · LMU Munich
Pathway in progress. The public page claims no completion date or completed thesis.
MSc Logic · University of Amsterdam / ILLC
Degree pathway and thesis research in progress on structuralism, theory translation, and formalisation. Defence and award are not claimed.
Two-page curriculum vitae
Academic and research CV: private review complete.
The source and PDF passed build, extraction, font, content, and visual checks. Download remains unavailable until titles, professional claims, contacts, destinations, and publication permissions are approved.
Evidence remains protected.
Diplomas, transcripts, correspondence, internal registers, learner material, private repositories, and draft PDFs are not included in the public bundle. The page exposes only admitted statuses and summaries.