Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q5670862> ?p ?o }
Showing triples 1 to 71 of
71
with 100 triples per page.
- Q5670862 description "American computer scientist".
- Q5670862 description "American computer scientist".
- Q5670862 subject Q3919876.
- Q5670862 subject Q5312304.
- Q5670862 subject Q7000722.
- Q5670862 subject Q7006242.
- Q5670862 subject Q7067047.
- Q5670862 subject Q7484666.
- Q5670862 subject Q8743314.
- Q5670862 subject Q9149429.
- Q5670862 subject Q9580543.
- Q5670862 abstract "Harry George Mairson is a theoretical computer scientist and Professor of Computer Science in the Volen National Center for Complex Systems at Brandeis University in Waltham, Massachusetts. His research is in the fields of logic in computer science, lambda calculus and functional programming, type theory and constructive mathematics, computational complexity theory, and algorithmics.Mairson received a B.A. in Mathematics from Yale University in 1978 and a Ph.D. in Computer Science from Stanford University in 1984 under the supervision of Jeffrey Ullman. His Ph.D. thesis, The Program Complexity of Searching a Table, won the Machtey Award at the 1983 IEEE Symposium on Foundations of Computer Science (FOCS). Mairson was a Postdoctoral researcher at INRIA Rocqencourt from 1984 to 1985, at Stanford University in 1985, and at the University of Oxford in 1986. He held a Visiting Professor position from 1999 to 2001 at Boston University. From 2005 to 2007, Mairson has served as the Chair of the Faculty Senate at Brandeis. He is currently an Associate Editor of the journal Logical Methods in Computer Science and Information and Computation, and sits on the editorial board of Higher-Order and Symbolic Computation.Mairson's contributions to the theory of programming languages include proving that type inference for the ML programming language, so-called Hindley–Milner type inference, is complete for exponential time and that parallel beta reduction is non-elementary.".
- Q5670862 wikiPageExternalLink id.phtml?id=100754.
- Q5670862 wikiPageExternalLink volen.
- Q5670862 wikiPageExternalLink faculty.php?emplid=ea30cbe920c0b5d91ca520aa10359d76b79027dc.
- Q5670862 wikiPageExternalLink ~mairson.
- Q5670862 wikiPageExternalLink Mairson:Harry_G=.html.
- Q5670862 wikiPageWikiLink Q1056428.
- Q5670862 wikiPageWikiLink Q1137814.
- Q5670862 wikiPageWikiLink Q1146208.
- Q5670862 wikiPageWikiLink Q13636890.
- Q5670862 wikiPageWikiLink Q13644986.
- Q5670862 wikiPageWikiLink Q193076.
- Q5670862 wikiPageWikiLink Q200996.
- Q5670862 wikiPageWikiLink Q205084.
- Q5670862 wikiPageWikiLink Q21198.
- Q5670862 wikiPageWikiLink Q2393193.
- Q5670862 wikiPageWikiLink Q242028.
- Q5670862 wikiPageWikiLink Q2651693.
- Q5670862 wikiPageWikiLink Q34433.
- Q5670862 wikiPageWikiLink Q3919876.
- Q5670862 wikiPageWikiLink Q395.
- Q5670862 wikiPageWikiLink Q41506.
- Q5670862 wikiPageWikiLink Q49110.
- Q5670862 wikiPageWikiLink Q49112.
- Q5670862 wikiPageWikiLink Q49119.
- Q5670862 wikiPageWikiLink Q49190.
- Q5670862 wikiPageWikiLink Q5312304.
- Q5670862 wikiPageWikiLink Q5757942.
- Q5670862 wikiPageWikiLink Q586459.
- Q5670862 wikiPageWikiLink Q6030974.
- Q5670862 wikiPageWikiLink Q6723864.
- Q5670862 wikiPageWikiLink Q6954914.
- Q5670862 wikiPageWikiLink Q7000722.
- Q5670862 wikiPageWikiLink Q7006242.
- Q5670862 wikiPageWikiLink Q7067047.
- Q5670862 wikiPageWikiLink Q7484666.
- Q5670862 wikiPageWikiLink Q7661883.
- Q5670862 wikiPageWikiLink Q860654.
- Q5670862 wikiPageWikiLink Q8743314.
- Q5670862 wikiPageWikiLink Q9143.
- Q5670862 wikiPageWikiLink Q9149429.
- Q5670862 wikiPageWikiLink Q92794.
- Q5670862 wikiPageWikiLink Q9580543.
- Q5670862 name "Mairson, Harry".
- Q5670862 shortDescription "American computer scientist".
- Q5670862 type Person.
- Q5670862 type Agent.
- Q5670862 type Person.
- Q5670862 type Agent.
- Q5670862 type NaturalPerson.
- Q5670862 type Thing.
- Q5670862 type Q215627.
- Q5670862 type Q5.
- Q5670862 type Person.
- Q5670862 comment "Harry George Mairson is a theoretical computer scientist and Professor of Computer Science in the Volen National Center for Complex Systems at Brandeis University in Waltham, Massachusetts. His research is in the fields of logic in computer science, lambda calculus and functional programming, type theory and constructive mathematics, computational complexity theory, and algorithmics.Mairson received a B.A. in Mathematics from Yale University in 1978 and a Ph.D.".
- Q5670862 label "Harry Mairson".
- Q5670862 givenName "Harry".
- Q5670862 name "Harry Mairson".
- Q5670862 name "Mairson, Harry".
- Q5670862 surname "Mairson".