László Babai: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
EmausBot (discussão | contribs)
m A migrar 6 interwikis, agora providenciados por Wikidata em d:Q92845
Kaktus Kid (discussão | contribs)
Ajustes
Linha 1:
{{em tradução|:en:László Babai}}
 
{{Info/Cientista
|nome =László Babai
Linha 23 ⟶ 21:
|conhecido_por =
|influenciado =
|premio ={{nowrap|[[Prêmio Gödel|Prêmio Gödel]] (1993)}}, {{nowrap|[[Prêmio Knuth]] (2015)}}
|conjuge =
|religiao =
Linha 32 ⟶ 30:
 
É professor de matemática e ciência da computação na [[Universidade de Chicago]]. Seus focos de pesquisa são [[complexidade computacional]], [[algoritmo]], [[combinatória]] e [[Grupo (matemática)|grupos finitos]], com ênfase na interação entre estes campos. É autor de mais de 180 artigos científicos.<ref name="cv"/>
 
<!--
His notable accomplishments include the introduction of [[interactive proof system]]s,<ref>{{citation
| last1 = Babai | first1 = László
| last2 = Moran | first2 = Shlomo
| doi = 10.1016/0022-0000(88)90028-1
| issue = 2
| journal = J. Comput. Syst. Sci.
| pages = 254–276
| title = Arthur-Merlin games: a randomized proof system, and a hierarchy of complexity class
| volume = 36
| year = 1988}}.</ref> the introduction of the term [[Las Vegas algorithm]],<ref name="lv79">{{citation
| last = Babai | first = László
| publisher = Université de Montréal
| series = Tech. Report
| title = Monte-Carlo algorithms in graph isomorphism testing
| url = http://people.cs.uchicago.edu/~laci/lasvegas79.pdf
| year = 1979}}.</ref> and the introduction of [[group theory|group theoretic]] methods in [[graph isomorphism]] testing.<ref name="lv79"/>
 
Babai studied mathematics at [[Eötvös Loránd University]] from 1968 to 1973, received a Ph.D. from the [[Hungarian Academy of Sciences]] in 1975, and received a D.Sc. from the Hungarian Academy of Sciences in 1984.<ref name="cv"/><ref>{{MathGenealogy|id=78102}}</ref> He held a teaching position at Eötvös Loránd University since 1971; in 1987 he took joint positions as a professor in algebra Eötvös Loránd and in computer science at the University of Chicago. In 1995 he began a joint appointment in the mathematics department at Chicago and gave up his position at Eötvös Loránd.<ref name="cv"/>
 
He is editor-in-chief of the refereed online journal ''[[Theory of Computing (journal)|Theory of Computing]]''.<ref>[http://theoryofcomputing.org/editors.html ''Theory of Computing'' editors], retrieved 2010-07-30.</ref> Babai was also involved in the creation of the [[Budapest Semesters in Mathematics]] program and first coined the name.
 
==Honors==
In 1988, Babai won the Hungarian State Prize, in 1990 he was elected as a corresponding member of the Hungarian Academy of Sciences, and in 1994 he became a full member.<ref name="cv"/> In 1999 the [[Budapest University of Technology and Economics]] awarded him an honorary doctorate.<ref name="cv"/>
 
In 1993, Babai was awarded the [[Gödel Prize]] together with [[Shafi Goldwasser]], [[Silvio Micali]], [[Shlomo Moran]], and [[Charles Rackoff]], for their seminal papers on interactive proof systems.<ref>[http://www.sigact.org/Prizes/godel/1993.html 1993 Gödel Prize], [[ACM SIGACT]], retrieved 2010-08-14.</ref>
 
In 2005, the University of Chicago gave him the Llewellyn John and Harriet Manchester Quantrell Award for Excellence in Undergraduate Teaching.<ref>[http://www-news.uchicago.edu/resources/quantrell/ Llewellyn John and Harriet Manchester Quantrell Award for Excellence in Undergraduate Teaching] (June 2005).</ref>
-->
 
{{Referências}}
Linha 69 ⟶ 37:
*[http://ams.org/mathscinet/search/publications.html?extend=1&pg1=IID&r=1&s1=28760 MathSciNet: "Items authored by Babai, László."]
*[http://dblp.uni-trier.de/db/indices/a-tree/b/Babai:L=aacute=szl=oacute=.html DBLP: László Babai].
 
 
{{Prêmio Gödel}}
 
{{Controle de autoridade}}
 
{{DEFAULTSORT:Babai, Laszlo}}