BA Philosophy · LMU Munich
Bachelor of Arts conferred on 29 July 2024.
← Simone Testino portfolio
Research interests and method
Academic and research
From philosophical questions to formal definitions: making concepts, assumptions, and arguments explicit.
Read the methodThe pathway
A closer look at the work.
Mathematical logic, philosophy of mathematics, and formal representation connect this pathway. The focus is on framing a question and making an argument open to scrutiny.
Academic formationBA Philosophy · LMU Munich · 2024
BSc Mathematics · LMU Munich
The transcript dated 3 December 2024 records studies not yet completed. Current status requires updated documentation.
MSc Logic · University of Amsterdam / ILLC
Available materials document the study pathway and research direction. They do not establish an approved defence or a degree award.
Logic and foundations
Representing structures, languages, and reasoning.
Read more
Model theory, proof theory, set theory, categories, and modal logic form the study areas. Definitions, examples, and counterexamples distinguish a proposal from what it actually establishes.
Philosophy and structures
Identifying what remains invariant.
Read more
The research direction considers structuralism, vocabulary changes, and theory translations. Assumptions and the meaning of equivalence must be explicit before comparing two representations.
Formal methods
Connecting mathematical writing with formalisation.
Read more
Isabelle/HOL is a working direction for inspecting syntax, transformations, and proof obligations. Preparatory code and a machine-verified result are distinct states: each result needs a reproducible build and a dedicated review.
Writing and sources
Following the reasoning, beyond the conclusion.
Read more
Manuscripts, bibliographies, and argument maps need to retain the connection between claims and sources. Open assumptions, revisions, and limits remain identifiable even when the document is already typeset.
Continue the pathway
From profile to project.
Curricula and materials
Curricula in preparation
The four curriculum variants need updating and publication review. Downloads will be available after the content, documents, and destinations have been reviewed.
Diplomas, transcripts, correspondence, and personal materials remain in protected channels. Public examples will be selected separately.