Assia Mahboubi

Uit Wikipedia, de vrije encyclopedie
Naar navigatie springen Naar zoeken springen
prof. dr. Mahboubi
Plaats uw zelfgemaakte foto hier
Persoonlijke gegevens
Volledige naam Assia Mahboubi
Nationaliteit Vlag van Frankrijk Frankrijk
Werkzaamheden
Vakgebied Wiskunde
Proefschrift Contributions à la certification des calculs sur R: théorie, preuves, programmation
Promotor Loïc Pottier
Website
Portaal  Portaalicoon   Onderwijs

Assia Mahboubi is een Frans wiskundige die bekend staat om haar werk in geautomatiseerde wiskunde. Ze is een professor aan de Vrije Universiteit Amsterdam en onderzoeker aan het INRIA instituut in Frankrijk [1]. Ze promoveerde in 2006 aan Sophia Antipolis in Nice op theorie, bewijzen en programmeren in de softwarepakket R.

Onderzoek[bewerken | brontekst bewerken]

Het onderzoek van professor Mahboubi spitst zich toe op formele en geautomatiseerde bewijzen van wiskunde. Ze begeleidt promovendi en postdocs.

Prijzen en onderscheidingen[bewerken | brontekst bewerken]

In 2020 ontving Mahboubi een ERC Consolidator Grant [2].

Overige professionele activiteiten[bewerken | brontekst bewerken]

In 2018 was Mahboubi lid van de programmacommissie van "The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs" [3]. In 2022 organiseerde zij met o.a. Sander Dahmen de Lorentz-Center workshop "Machine-checked mathematics" [4].

Mahboubi maakte deel uit van de organisatie voor conferenties als ITP 2018, CICM 2018, POPL 2019, IJCAR 2020, POPL 2021 en vele andere.

Externe links[bewerken | brontekst bewerken]