Thierry Coquand ^{الإنجليزية} (Q1591868)

French mathematician, logician and computer scientist ^{الإنجليزية}

اللغة	التسمية	الوصف	أسماء أخرى
العربية	لم تُضف التسمية	لا يوجد وصف
الإنجليزية	Thierry Coquand	French mathematician, logician and computer scientist

بيانات

Wikidata item ^{الإنجليزية}

Q3524190

٠ مرجع

date of birth ^{الإنجليزية}

١٨ أبريل 1961^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

sex or gender ^{الإنجليزية}

ذكر

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

occupation ^{الإنجليزية}

رياضياتي

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

عالم حاسوب

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

مهندس

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

country of citizenship ^{الإنجليزية}

فرنسا

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

field of work ^{الإنجليزية}

علم الحاسوب

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

instance of ^{الإنجليزية}

إنسان

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

educated at ^{الإنجليزية}

مدرسة المعلمين العليا

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

ISNI ^{الإنجليزية}

0000 0000 8328 1119

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

GND ID ^{الإنجليزية}

122538900

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

VIAF ID ^{الإنجليزية}

117236995

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

given name ^{الإنجليزية}

تييري

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

doctoral advisor ^{الإنجليزية}

جيرار هويت

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

employer ^{الإنجليزية}

جامعة گوتنبورگ

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

جامعة شالمر للتكنولوجيا

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

إنريا

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

DBLP author ID ^{الإنجليزية}

59/3944

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

award received ^{الإنجليزية}

جائزة نظام برمجيات ACM

point in time ^{الإنجليزية}

2013^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

member of ^{الإنجليزية}

الأكاديمية الأوروبية

affiliation ^{الإنجليزية}

AE section Informatics ^{الإنجليزية}

start time ^{الإنجليزية}

2011^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

name in native language ^{الإنجليزية}

Thierry Coquand (الفرنسية)

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

professorship ^{الإنجليزية}

أستاذ جامعي

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

academic degree ^{الإنجليزية}

دكتوراه الفلسفة

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

place of birth ^{الإنجليزية}

إزار

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

languages spoken, written or signed ^{الإنجليزية}

لغة فرنسية

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

Freebase ID ^{الإنجليزية}

/m/0gtwsc9

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

doctoral student ^{الإنجليزية}

Hugo Herbelin ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

Lena Magnusson ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

Daniel Fridlender ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

Henrik Persson ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

Pierre Hyvernat ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

David Wahlstedt ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

Arnaud Spiwack ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

family name ^{الإنجليزية}

Coquand ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

participant in ^{الإنجليزية}

أولمپياد الرياضيات العالمي

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

Commons category ^{الإنجليزية}

Thierry Coquand (computer scientist)

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

notable work ^{الإنجليزية}

Coq ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Q3524190

وصلات الموقع

Marefa(٠ : لا وصلات)

ويكيبيديا(١ وصلة واحدة)

enwiki Thierry Coquand