Mikkel Thorup
Ikke at forveksle med Mikkel Thorup (idéhistoriker).
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.
| Mikkel Thorup | |
|---|---|
| Født |
1965 Danmark |
| Uddannelse og virke | |
| Uddannelsessted | Oxford University, Danmarks Tekniske Universitet |
| Akademisk vejleder |
William F. "Bill" McColl Colin McDiarmid |
| Tilknyttet |
Datalogisk Institut ved Københavns Universitet  |
| Medlem af |
Association for Computing Machinery |
| Beskæftigelse |
Forsker, datalog |
| Forskningsområde | Datalogi |
| Arbejdsgiver |
Københavns Universitet (1993-1998), AT&T Labs (1998-2013) |
| Elever |
Stephen Alstrup |
| Nomineringer og priser | |
| Udmærkelser |
ACM Fellow (2005), David P. Robbins Prize[1] (2011), Villum Kann Rasmussens Årslegat (2015) |
| Eksterne henvisninger | |
|
Mikkel Thorups hjemmeside | |
Information med symbolet  hentes fra Wikidata. Kildehenvisninger foreligger sammesteds. | |
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 redigér
| 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, .
- 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 redigér
- ^ Navnet er anført på engelsk og stammer fra Wikidata hvor navnet endnu ikke findes på dansk.
- ^ Mathematics genealogy project
- ^ Thorup’s personal home page
- ^ a b Robbins Prize Citation
- ^ Pătraşcu & Thorup 2011.
- ^ Regan, Tabulation hashing and independence, Gödel’s Lost Letter, April 14, 2012, Fortnow, Complexity year in review, December 29, 2011.
- ^ JACM editorial board
- ^ ACM Fellows web site
- ^ AT&T profile page for Mikkel Thorup
- ^ Paterson et al. 2009.
- ^ Effektive algoritmer belønnes med Danmarks største forskerpris. Ingeniøren. Hentet 20/1-2015
Eksterne henvisninger redigér
- Thorups hjemmeside
- Afhandling Arkiveret 13. februar 2022 hos Wayback Machine