Assia Mahboubi
where else to find them
what they talk about
where they keep going back
- CPP2 editions2023–2026
on a stage with
- Chantal Kelleronce
- Denis Cousineauonce
- Enzo Cranceonce
all 11 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Certifying the decidability of the word problem in monoids at large | CPP 2026 | 2026-01-12 |
Implements a Rocq-based toolbox that uses Rocq proof assistant certificates and proofs-by-reflection guided by an external oracle to certify decision… | ||
| Compositional pre-processing for automated reasoning in dependent type theory | CPP 2023 | 2023-01-16 |
Implements compositional, small-step goal transforms for Coq that systematically convert inductives, uninterpreted symbols and higher-order/dependent… | ||
| nothing matches | ||