Contact
🔒 Contacts are masked. Get full emails & phones. Unlock via export ↗
Category & trade
Primary
programming-languages · embed-ft 0.52
Tree path
Technology & Computing › Computing › Programming Languages
Group (tier-1)
Tech stack
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
Jérôme Boillot
Description
I am a last year PhD student in Computer Science at ENS Paris working on Static Analysis of Operating Systems using Formal Methods such as Abstract Interpretation.
Final URL
Language
en (html)
Scanned at
2026-06-23 13:17:43