Overview
Research engineer developing Salto, a static analyzer for OCaml programs using abstract interpretation. Detects uncaught exceptions, assertion failures, integer overflows, and undefined behaviors.
Key Information
- Locations
-
🇫🇷
Rennes, France
- Remote Friendly
- No
- Languages
- OCaml