Contact
Email
role · B2B
n•••@e•••.sg🔒 Contacts are masked. Get full emails & phones. Unlock via export ↗
Category & trade
Primary
programming-languages · embed-ft 0.3
Tree path
Technology & Computing › Computing › Programming Languages
Group (tier-1)
Also (top-3)
Tech stack
AI readiness
AI-Readiness score
24 / 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
Daniel Nezamabadi
Description
Daniel Nezamabadi – PhD student in formal methods at NTU Singapore. Research on verified compilers, theorem proving with HOL4, and the Candle verified proof assistant.
Final URL
Language
en (html)
Scanned at
2026-07-09 19:26:05