Assia Mahboubi
| prof. dr. Mahboubi | ||||
|---|---|---|---|---|
| Persoonlijke gegevens | ||||
| Volledige naam | Assia Mahboubi | |||
| Nationaliteit |  Frankrijk
| |||
| Werkzaamheden | ||||
| Vakgebied | Wiskunde | |||
| Proefschrift | Contributions à la certification des calculs dans ℝ : théorie, preuves, programmation | |||
| Promotor | Loïc Pottier | |||
| Website | ||||
| ||||
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 op de certificering van berekeningen in de reële getallen.[2]
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 [3].
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" [4]. In 2022 organiseerde zij met o.a. Sander Dahmen de Lorentz-Center workshop "Machine-checked mathematics" [5].
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]
- Pagina bij de Association for Computing Machinery (ACM)
- Keynote Talk bij de 13th International Conference on Mathematics of Program Construction 2019
- Lezing bij Microsoft "Formal proof producing decision procedures" op 3 december 2009
- Artikel Machine-checked mathematics in Nieuw Archief voor Wiskunde
- Beschrijving op Bibsonomy
- Colloquium Mathematical Structures in Dependent Type Theory in 2021
- Lezing Mathematical Structures in Dependent Type Theory voor de Online Worldwide Seminars in Logic and Semantics in Cambridge
- Lezing bij Microsoft "Formal proof producing decision procedures" op 3 december 2009
Bronnen, noten en/of referenties
|