Personal profile


Endowed Professor “Automated Verification of Mathematical Proof”
Stichting Computer Algebra Nederland
Department of Mathematics, Vrije Universiteit Amsterdam

Link to full CV

Ancillary activities

  • Inria | Nantes | onderzoeker | 2018-10-01 - present

Ancillary activities are updated daily


Dive into the research topics where Assia Mahboubi is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or