Category & trade
Primary
Tree path
Technology & Computing › Computing › Programming Languages
Group (tier-1)
AI readiness
AI-Readiness score
18 / 100 · not-ready · see similar
AI training policy
allowed
AI-bot protection
AI files
llms.txt ai.txt humans.txt robots.txt
Compliance (GEO / GDPR)
TLD
Overview
Title
Armin Walch
Description
Personal website of Armin Walch, PhD researcher in programming languages, type theory, and formal methods. Explore my research, publications, and projects.
Final URL
Language
en (content)
Scanned at
2026-07-17 10:04:59
Embed AI-status badge
Show this site's AI-access status with a free, live badge — it reflects AI-Accessible and updates automatically as the site changes.
