Résultats de la recherche

...is|américain]] né le {{date|2|juillet|1950}} à [[Haïfa]], [[Israël]]<ref>{{en}} [http://www.ams.org/notices/199804/comm-steele-prizes.pdf January 1998 - ...]. Il est ''Board of Governors Professor of Mathematics'' de Rutgers<ref>{{en}} [http://ur.rutgers.edu/focus/article/At%20the%20board/396/ ''Rutgers Focu ...

|domaines = [[Informatique]] | renommé pour = décodage en liste ...

...me de correspondance de Post]]<ref name="Post46"> {{article|langue=en|lang=en|année = 1946|auteur = E. L. Post| url=http://www.ams.org/bull/1946-52-04/S0 Il a également publié en 1921 une étude exhaustive des [[clone (mathématiques)|clones]] des algèbres ...

| actif = <!-- date ou période d'activité connue (par exemple en l'absence de date de naissance connue) --> | domaines = [[informatique théorique]], [[théorie des jeux|théorie algorithmique des jeux ]] ...

'''Jeffrey Clark Lagarias''', né en {{Date||novembre|1949}} à [[Pittsburgh]] en [[Pennsylvanie]], est un [[mathématicien]] et professeur à l'[[université d ...est au lycée en 1966, Lagarias étudie l'[[astronomie]] au « {{Lien|langue=en|fr=Summer Science Program}} ». ...

{{Ébauche|mathématicien|personnalité française}} ...', né en [[1939]], est un [[mathématicien]] [[France|français]] spécialisé en [[logique mathématique]]. ...

| légende = Virginia Williams à Oberwolfach en 2012. ...té informatique]]. Elle est, depuis juillet 2022, professeure titulaire en informatique au [[Massachusetts Institute of Technology]]{{Références multiples|sloan}}. ...

| champs = [[Mathématiques]], [[informatique théorique]] | prix = [[Prix Presburger]] <small>(en 2018)</small> ...

...[[combinatoire]], notamment en [[théorie des graphes]], et [[informatique théorique]] et président de l'[[Académie hongroise des sciences]] depuis 2014<ref>{{ ...cheur au [[Microsoft]] Research Center jusqu'en 2006. À l'issue, de retour en Hongrie, il dirige l'Institut de mathématiques de l'université de Budapest. ...

...[[Institut de mathématiques appliquées Keldych]] (1993-2006), spécialiste en [[mathématiques discrètes]], [[cybernétique]], [[logique mathématique]], la ...est utilisé, en [[Union des républiques socialistes soviétiques|USSR]] et en [[Russie]] pour une généralisation des [[Automate fini|automates finis]], [ ...

...formaticien théoricien]] [[Canada|canadien]], spécialiste en {{Lien|langue=en|trad=Quantum algorithm|fr=algorithme quantique|texte=algorithmique quantiqu ...obtient un [[Master of Science|M.Sc.]] en mathématiques et fondements de l'informatique. Grâce à une autre bourse, Mosca prépare un [[Philosophiæ doctor|Ph.D.]] su ...

| légende = Gábor Tardos à Oberwolfach en 2013. ...té Simon Fraser]]. Il travaille principalement en [[combinatoire]] et en [[informatique]]. Il est le frère cadet d'[[Éva Tardos]]<ref>[http://blog.computationalcom ...

| lieu de naissance = [[:en:Philadelphie|Philadelphie]], PA, [[États-Unis]] | champs = [[Informatique théorique]], [[théorie des langages]], [[théorie des bases de données]] ...

...si ce n'est le père fondateur, de la [[théorie de l'information]]. Il est en 1956 l'un des organisateurs de la [[conférence de Dartmouth]], considérée c ...uvert){{refsou}}. Il obtient un doctorat ([[PhD]]) en mathématiques au MIT en 1940<ref name="mactutor" />. ...

| domaines = [[Informatique théorique]], [[Bio-informatique]] ...Gusfield est connu pour ses recherches en [[optimisation combinatoire]] et en [[bioinformatique]] et son ouvrage ''Algorithms on Strings, Trees, and Sequ ...

...t un mathématicien [[Polonais (peuple)|polonais]] né en 1983 qui travaille en [[combinatoire]], [[théorie additive des nombres]], [[théorie de Ramsey]] e ...heur au [[Trinity College (Cambridge)|Trinity College de Cambridge]] jusqu'en 2014. Il est depuis professeur associé à l'[[université de Tel Aviv]]<ref n ...

...date de naissance|20 février 1953}} à [[Long Beach (Californie)|Long Beach en Californie]]{{note|texte=Informations biographiques d’après l’article {{har ...}. Il travaille comme ''research intern'' au [[Palo Alto Research Center]] en 1973–1974 ; il est ''visiting scholar'' au [[Stanford Linear Accelerator]] ...

| domaines = [[Mathématiques]], [[Informatique théorique]] ..., [[théorie des probabilités]], géométrie convexe et ses applications en [[informatique]], [[physique mathématique]] et [[combinatoire]].  ...

...nale australienne, enfin ''reader'' (1990-1998) et finalement professeur d'informatique à l'[[université nationale australienne]] depuis 1998<ref name="full">[http ....</ref>. Il est élu ''fellow'' de l'[[Académie des sciences australienne]] en 1997<ref name="Bio" />. Il est et a été éditeur dans plusieurs journaux mat ...

'''Jean-Yves Girard''', né en [[1947]] à [[Lyon]], est un [[logique mathématique|logicien]] et [[Mathémat Il a reçu la [[médaille d'argent du CNRS]] en 1983. Depuis 1994, il est correspondant de l'[[Académie des sciences (Franc ...