# Amina Doumane

> Moroccan theoretical computer scientist

**Wikidata**: [Q65707471](https://www.wikidata.org/wiki/Q65707471)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Amina_Doumane)  
**Source**: https://4ort.xyz/entity/amina-doumane

## Summary
Amina Doumane is a Moroccan theoretical computer scientist and mathematician known for her work in mathematical logic. She received the Gilles Kahn Award and the Kleene Award in 2017 for her doctoral thesis. Her research focuses on formal methods and proof theory.

## Biography
- Born: September 2, 1990, Morocco
- Nationality: Moroccan
- Education: Paris Diderot University, École Centrale Paris
- Known for: Contributions to mathematical logic and theoretical computer science
- Employer(s): Paris Diderot University, University of Warsaw, École Normale Supérieure de Lyon, Laboratoire Spécification et Vérification
- Field(s): Mathematical logic, theoretical computer science

## Contributions
Amina Doumane's doctoral thesis, completed in 2017 under the supervision of Pierre-Louis Curien, earned her both the Gilles Kahn Award and the Kleene Award in the same year. Her work focuses on proof theory and formal methods in computer science, contributing to the foundations of mathematical logic. She has published research through various academic channels and maintains an active presence in the theoretical computer science community through her affiliations with institutions in France and Poland.

## FAQs
### Q: What awards has Amina Doumane received?
A: In 2017, she received both the Gilles Kahn Award and the Kleene Award for her doctoral thesis work in theoretical computer science.

### Q: Where did Amina Doumane complete her education?
A: She studied at Paris Diderot University and École Centrale Paris in France.

### Q: What is Amina Doumane's field of research?
A: Her primary field is mathematical logic, with a focus on theoretical computer science and formal methods.

## Why They Matter
Amina Doumane represents an important voice in the field of theoretical computer science, particularly in the area of mathematical logic and proof theory. Her recognition through multiple prestigious awards in the same year demonstrates the significance of her doctoral research. As a Moroccan scientist working in France and Poland, she contributes to the internationalization of computer science research and serves as a role model for women in STEM fields, particularly in North Africa.

## Notable For
- Recipient of both Gilles Kahn Award and Kleene Award in 2017
- Doctoral work in proof theory under Pierre-Louis Curien
- Research contributions to mathematical logic and formal methods
- International academic career spanning France and Poland
- Participant in the International Mathematical Olympiad (2008)

## Body
### Early Life and Education
Amina Doumane was born on September 2, 1990, in Morocco. She demonstrated exceptional mathematical ability early in her career, participating in the International Mathematical Olympiad in 2008, representing Morocco (participant ID: 17639).

### Academic Career
Doumane completed her doctoral studies at Paris Diderot University under the supervision of Pierre-Louis Curien, a prominent French computer scientist. Her thesis work was recognized with both the Gilles Kahn Award and the Kleene Award in 2017, marking a significant achievement in theoretical computer science.

### Research Focus
Her research centers on mathematical logic and theoretical computer science, with particular emphasis on proof theory and formal methods. She has maintained research positions at several institutions including Paris Diderot University, University of Warsaw, and École Normale Supérieure de Lyon.

### International Presence
Doumane's work spans multiple countries, with research affiliations in France and Poland. She is multilingual, speaking Arabic, Berber, and English, which facilitates her international academic collaborations.

### Recognition and Impact
The dual recognition through the Gilles Kahn and Kleene awards in the same year underscores the significance of her contributions to the field. Her work continues to influence research in mathematical logic and theoretical computer science.

## References

1. [Source](https://www.theses.fr/2017USPCC123)
2. [Source](https://perso.ens-lyon.fr/amina.doumane/cv.pdf)