Mikkel Thorup

Ikke at forveksle med Mikkel Thorup (idéhistoriker).
Mikkel Thorup
Født1965
Danmark
Uddannelse og virke
Uddannelses­stedOxford University, Danmarks Tekniske Universitet
Akademisk vejlederWilliam F. "Bill" McColl
Colin McDiarmid
TilknyttetDatalogisk Institut ved Københavns Universitet Rediger på Wikidata
Medlem afAssociation for Computing Machinery (fra 2005) Rediger på Wikidata
BeskæftigelseForsker, datalog Rediger på Wikidata
Forsknings­områdeDatalogi
ArbejdsgiverKøbenhavns Universitet (1993-1998), AT&T Labs (1998-2013) Rediger på Wikidata
EleverStephen Alstrup Rediger på Wikidata
Nomineringer og priser
UdmærkelserACM Fellow (2005),
David P. Robbins Prize[1] (2011),
Villum Kann Rasmussens Årslegat (2015) Rediger på Wikidata
Eksterne henvisninger
Mikkel Thorups hjemmeside Rediger på Wikidata
Information med symbolet Billede af blyant hentes fra Wikidata. Kildehenvisninger foreligger sammesteds.

Mikkel Thorup (født 1965) er en dansk professor i datalogi på Datalogisk Institut på Københavns Universitet. Han studerede på DTU og blev færdig i 1990, og tog herefter en ph.d. på Oxford University i 1993.[2] Fra 1993 til 1998 var han ansat på Københavns Universitet og var herefter ansat på AT&T Labs i Florham Park, USA .[3] I 2013 blev han ansat som professor i datalogi.

Thorups primære arbejde har omhandlet algoritmer og datastruktur. Et af hans mest velkendte resultater er afstande mellem planare grafer (Thorup, 1999).[4] Sammen med Mihai Pătraşcu har han arbejdet med hashfunktioner[5][6]

Thorup er redaktør på det videnskabelige tidsskrift Journal of the ACM i emner der berører algoritmer og datastrukturer.[7] Han er endvidere medlem af redaktionerne på SIAM Journal on Computing, ACM Transactions on Algorithms og Theory of Computing. Han har været fellow i Association for Computing Machinery siden 2005 for sine bidrag til algoritmer og datastrukturer.[8] Han blev medlem af Videnskabernes Selskab i 2006. I 2010 modtog han AT&T Fellows Honor for “enestående innovation i algoritmer, herunder avancerede hashing og stikprøver anvendes på AT & Ts trafikanalyse på internettet og tale-tjenester.”[9]

I 2011 modtog han sammen med fire andre David P. Robbins Prize fra Mathematical Association of America for at have løst det omkring 150 år gamle problem med at finde det maksimale udhæng for en stabel af identiske blokke.[10] “The papers describe an impressive result in discrete mathematics; the problem is easily understood and the arguments, despite their depth, are easily accessible to any motivated undergraduate.” [4]

I 2015 modtog han Villum Kann Rasmussens Årslegat til Teknisk og Naturvidenskabelig Forskning på 5 mio. DKK for sit arbejde.[11]

Udvalgte publikationer

Scholia har en forfatterprofil for Mikkel Thorup.
  • Thorup, Mikkel (1999). "Undirected Single Source Shortest Paths with Positive Integer Weights in Linear Time". Journal of the ACM. 46 (3): 362-394. doi:10.1145/316542.316548. Announced at FOCS 1997.
  • Pătraşcu, Mihai; Thorup, Mikkel (2010). "Higher lower bounds for near-neighbor and further rich problems". SIAM Journal on Computing. 39 (2): 730-741. doi:10.1137/070684859. Preliminary version published in FOCS 2006, doi:10.1109/FOCS.2006.35.
  • Pătraşcu, Mihai; Thorup, Mikkel (2011), "The power of simple tabulation hashing", Proceedings of the 43rd annual ACM Symposium on Theory of Computing (STOC '11), s. 1-10, arXiv:1011.5200, doi:10.1145/1993636.1993638.
  • Paterson, Mike; Peres, Yuval; Thorup, Mikkel; Winkler, Peter; Zwick, Uri (2009). "Maximum overhang" (PDF). The American Mathematical Monthly. 116 (9): 763-787. doi:10.4169/000298909x474855. 2011 MAA Robbins Award.

Referencer

  1. ^ Navnet er anført på engelsk og stammer fra Wikidata hvor navnet endnu ikke findes på dansk.
  2. ^ Mathematics genealogy project
  3. ^ Thorup’s personal home page
  4. ^ a b Robbins Prize Citation
  5. ^ Pătraşcu & Thorup 2011.
  6. ^ Regan, Tabulation hashing and independence, Gödel’s Lost Letter, April 14, 2012, Fortnow, Complexity year in review, December 29, 2011.
  7. ^ JACM editorial board
  8. ^ ACM Fellows web site
  9. ^ AT&T profile page for Mikkel Thorup
  10. ^ Paterson et al. 2009.
  11. ^ Effektive algoritmer belønnes med Danmarks største forskerpris. Ingeniøren. Hentet 20/1-2015

Eksterne henvisninger