Contact
Contact page
Category & trade
Primary
technology-and-computing · embed-ft 0.38
Tree path
Technology & Computing
Group (tier-1)
Also (top-3)
Tech stack
AI readiness
AI-Readiness score
34 / 100 · partial · see similar
AI training policy
allowed
AI-bot protection
AI files
Compliance (GEO / GDPR)
TLD
Overview
Title
Formal Methods & Systems Reasoning Research — bliudze.me
Description
Research-oriented homepage focused on formal methods, verification workflows, and systems reasoning, with notes, projects, publications, and workshop pages.
Final URL
Language
en (html)
Scanned at
2026-06-30 05:22:03