Amina Doumane

Last updated
Amina Doumane
BornSeptember 2, 1990 [1]
Nationality Moroccan
Occupation Computer scientist

Amina Doumane (September 2, 1990) is a Moroccan computer scientist who on during 2017 won the French Giles-Kahn prize for the best doctoral thesis in France. Her thesis was on the subject On the infinitary proof theory of logics with fixed points. On January 31 2018, Doumane was presented with the award by the French computer science society (SIF). [2]

Contents

Research

Her doctoral thesis centered around a circular proof system. [3]

Honours, decorations, awards and distinctions

Gilles Kahn prize for best French doctoral thesis, 2017, by the Société informatique de France (SIF). [4]

Related Research Articles

Horacio Vaggione is an Argentinian composer of electroacoustic and instrumental music who specializes in micromontage, granular synthesis, and microsound and whose pieces are often scored for performers and computers.

<span class="mw-page-title-main">Inserm</span>

The Institut national de la santé et de la recherche médicale is the French National Institute of Health and Medical Research.

Gérard Pierre Huet is a French computer scientist, linguist and mathematician. He is senior research director at INRIA and mostly known for his major and seminal contributions to type theory, programming language theory and to the theory of computation.

Ludwik Leibler, born in 1952 is a Polish-born French physicist. He is Professor of École supérieure de physique et de chimie industrielles de la ville de Paris and member of the French Academy of Sciences and National Academy of Engineering.

<span class="mw-page-title-main">Albert Londres Prize</span> Highest French journalism award

The Albert Londres Prize is the highest French journalism award, named in honor of journalist Albert Londres. Created in 1932, it was first awarded in 1933 and is considered the French equivalent of the Pulitzer Prize. Three laureates are awarded each year. The three categories are : "best reporter in the written press", "best audiovisual reporter" and "best reporting book".

<span class="mw-page-title-main">Françoise Combes</span> French physicist

Françoise Combes is a French astrophysicist at the Paris Observatory and a professor at the Collège de France where she has been the chair of Galaxies and cosmology since 2014.

<span class="mw-page-title-main">Clare Grey</span> British chemist and Professor of Chemistry

Dame Clare Philomena Grey is Geoffrey Moorhouse Gibson Professor in the Department of Chemistry at the University of Cambridge and a Fellow of Pembroke College, Cambridge. Grey uses nuclear magnetic resonance spectroscopy to study and optimize batteries.

Antoine Joux is a French cryptographer, one of the three 2013 Gödel Prize laureates., specifically cited for his paper A one round protocol for tripartite Diffie-Hellman.

<span class="mw-page-title-main">Valérie Berthé</span> French mathematician

Valérie Berthé is a French mathematician who works as a director of research for the Centre national de la recherche scientifique (CNRS) at the Institut de Recherche en Informatique Fondamentale (IRIF), a joint project between CNRS and Paris Diderot University. Her research involves symbolic dynamics, combinatorics on words, discrete geometry, numeral systems, tessellations, and fractals.

Christine Paulin-Mohring is a mathematical logician and computer scientist, and Professor Faculté des Sciences at Paris-Saclay University, best known for developing the interactive theorem prover Coq.

<span class="mw-page-title-main">Amina Helmi</span>

Amina Helmi is an Argentine astronomer and professor at the Kapteyn Astronomical Institute at the University of Groningen in the Netherlands.

The Classical Association of Canada (CAC) is a national, nonprofit organization with the aim of advancing the study of the civilizations of the Greek and Roman worlds in their Mediterranean context, including philology, Classical archaeology, papyrology, epigraphy, and numismatics. The CAC encourages public awareness of the contribution and importance of Classics to both education and public life. Its official languages are English and French.

Nicholas Ayache, born on 1 November 1958 in Paris, is a French computer scientist and Research Director at INRIA, Sophia Antipolis-Mediterranean Centre. Previously, he was Scientific Director of the Institut hospitalo-universitaire de Strasbourg (2012–2015) and Visiting Professor at the Collège de France (2014). He is also a member of the French Academy of Sciences.

<span class="mw-page-title-main">Véronique Cortier</span> French mathematician and computer scientist

Véronique Cortier is a French mathematician and computer scientist specializing in cryptography. Her research has applied mathematical logic in the formal verification of cryptographic protocols, and has included the development of secure electronic voting systems. She has also contributed to the public dissemination of knowledge about cryptography through a sequence of posts on the binaire blog of Le Monde. She is a director of research with CNRS, associated with the Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA) at the University of Lorraine in Nancy.

<span class="mw-page-title-main">Cathérine Picart</span> French biophysicist and bioengineer

Cathérine Cécile Picart is a French biophysicist and bioengineer. She is the Head of the Department of Health at CEA Grenoble in the area of fundamental research, a professor at the Institut polytechnique de GrenobleÉcole nationale supérieure de physique, électronique, matériaux (PHELMA) and researcher at the Laboratoire des Matériaux et du Génie Physique (LMGP).

Olivier Gascuel is a French researcher in bioinformatics. He is a research director at the CNRS. His work focuses in particular on phylogeny. He was the director of the Centre for Bioinformatics, Biostatistics and Integrative Biology at the Pasteur Institute from 2015 till 2020. In 2021, he joined the Institute of Systematics, Evolution, Biodiversity (ISYEB) at the National Museum of Natural History, France.

<span class="mw-page-title-main">Valéry Giroux</span> Canadian philosopher

Valéry Giroux is a Canadian philosopher, lawyer and animal rights activist from Quebec.

Sophie Heidi Kam is a Burkinabe writer. Her work includes poetry, plays, and stories written in French. She is considered the first female playwright in Burkina Faso and has been honored at the National Grand Prix for Arts and Letters eight times.

<span class="mw-page-title-main">Institut de recherche en informatique fondamentale</span> French research institute in IT

The Institut de recherche en informatique fondamentale is a French research institute supporting advanced research in computer science. It is located in Paris. It is a public research institute in a partnership with the Université Paris Cité.

<span class="mw-page-title-main">Audrée Wilhelmy</span> Canadian writer (born 1985)

Audrée Wilhelmy is a Canadian writer from Quebec.

References

  1. Doumane, Amina. "Amina Doumane – Curriculum Vitae": 3.{{cite journal}}: Cite journal requires |journal= (help)
  2. "Amina Doumane conferred Gilles Kahn Award for best PhD thesis". 23 January 2018.
  3. "Prix de thèse Gilles Kahn et Prix La Recherche pour Amina Doumane". INS2I. 2018-01-02. Retrieved 2021-01-20.
  4. "Lauréats 2017". La Société informatique de France. Retrieved 2021-01-20.