Contact
Email
role · B2B
d•••@d•••.systems🔒 Contacts are masked. Get full emails & phones. Unlock via export ↗
Category
Primary
programming-languages · embed-ft 0.33
Tree path
Technology & Computing › Computing › Programming Languages
Group (tier-1)
Also (top-3)
Tech stack
Framework
AI readiness
Compliance (GEO / GDPR)
TLD
Overview
Title
Dennis Sprokholt
Description
Dr. Dennis Sprokholt is Humboldt Research Fellow in Computer Science at TU Munich. His research spans semantics and formal verification of computer systems and low-level languages.
Final URL
Language
en (html)
Scanned at
2026-06-27 07:09:19