Automation and provenance
Python, shell, Markdown, and Git for deterministic imports, manifests, registers, coverage checks, and separation between sources and generated artifacts.
← Simone Testino portfolio
SE · Technical profile
Software and Isabelle/HOL
Engineering reproducible workflows for research, documents, and the website, with an Isabelle/HOL formalisation kept at its correct evidence state.
Profile in reviewPDF not publishedEvidence controlled
Boundary
Specific in content, cautious in claims.
This profile describes attributable local artifacts. It exposes no private repository, security detail, deployment, or unverified open-source contribution.
Documents and QA
LaTeX/PDF systems with builds, log audits, bibliography, metadata, fonts, rendered pages, and publication checks.
Web and public boundaries
TypeScript components, curated routes, tests, and builds that keep personal data, files, and protected operations outside the public bundle.
Isabelle/HOL
The research scaffold contains raw syntax, free variables, and predicate renaming. General translations, semantics, quotients, a pinned build, and independent review remain open.
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
Software and Isabelle/HOL 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.