Home
Random
Nearby
Log in
Settings
Donate
About Wikidata
Disclaimers
Search
(Q102403440)
Watch
English
Assia Mahboubi
French researcher
In more languages
default for all languages
No label defined
No description defined
edit
Statements
instance of
human
0 references
sex or gender
female
0 references
country of citizenship
France
0 references
given name
Assia
0 references
family name
Mahboubi
0 references
occupation
researcher
0 references
educated at
University of Nice Sophia Antipolis
start time
2003
end time
2006
academic degree
Doctor of Philosophy
academic major
computer science
1 reference
reference URL
http://people.rennes.inria.fr/Assia.Mahboubi/assia.pdf
École Normale Supérieure de Lyon
start time
1999
end time
2003
academic degree
master's degree
academic major
mathematics
1 reference
reference URL
http://people.rennes.inria.fr/Assia.Mahboubi/assia.pdf
University of Nantes
point in time
2021
academic degree
Habilitation to supervise research
1 reference
reference URL
http://people.rennes.inria.fr/Assia.Mahboubi/assia.pdf
doctoral advisor
Loïc Pottier
1 reference
stated in
Mathematics Genealogy Project
doctoral student
Cyril Cohen
1 reference
stated in
Mathematics Genealogy Project
affiliation
Institut National de Recherche en Informatique et en Automatique
1 reference
reference URL
https://www.youtube.com/watch?v=s0VOkZQcdsA
title
Formal proof producing decision procedures
(English)
official website
http://people.rennes.inria.fr/Assia.Mahboubi/
language of work or name
English
0 references
described at URL
https://www.ias.edu/scholars/assia-mahboubi
language of work or name
English
0 references
https://www.msr-inria.fr/researchers/assia-mahboubi/
language of work or name
English
0 references
https://cass.pleiad.cl/assia-mahboubi/
language of work or name
English
0 references
on focus list of Wikimedia project
gender gap on Dutch Wikipedia
0 references
maintained by WikiProject
WikiProject Mathematics
0 references
Identifiers
ACM Digital Library author ID
81339515481
0 references
DBLP author ID
81/5782
0 references
Mathematics Genealogy Project ID
168769
0 references
MR Author ID
777077
0 references
zbMATH author ID
mahboubi.assia
0 references
Sitelinks
Wikipedia
(1 entry)
edit
nlwiki
Assia Mahboubi
Wikibooks
(0 entries)
edit
Wikinews
(0 entries)
edit
Wikiquote
(0 entries)
edit
Wikisource
(0 entries)
edit
Wikiversity
(0 entries)
edit
Wikivoyage
(0 entries)
edit
Wiktionary
(0 entries)
edit
Multilingual sites
(0 entries)
edit