Contact
🔒 Contacts are masked. Get full emails & phones. Unlock via export ↗
Category & trade
Primary
technology-and-computing · embed-ft 0.32
Tree path
Technology & Computing
Group (tier-1)
Also (top-3)
Tech stack
Framework
AI readiness
AI-Readiness score
46 / 100 · partial · see similar
AI training policy
allowed
AI-bot protection
AI files
Overview
Title
Philipp Schröer | Formal Verification
Description
Philipp Schröer is a PhD student in the Software Modeling and Verification Group (MOVES) at RWTH Aachen University, working on probabilistic verification, probabilistic programs, and the Caesar verifier.
Final URL
Language
de (tld)
Scanned at
2026-07-11 01:34:10