Stor international anerkendelse til Kasper Green Larsen, der modtager 2019 EATCS Presburger prisen
Komiteen, der enstemmigt har udvalgt Karl Bringmann og Kasper Green Larsen, består af anerkendte internationale forskere. Og netop det faktum at det er højt estimerede kollegaer, der har peget på Kasper gør ham meget stolt, ”Jeg er meget overvældet over at modtage prisen. Flere af de tidligere modtagere var mine helt store idoler da jeg var ph.d.-studerende. Jeg er meget beæret over at mine internationale kollegaer finder min forskning værdig til at modtage en så fornem pris”.
Presburger prisen bliver givet ved den største europæiske konference inden for teoretisk Datalogi, ICALP (The International Colloquium on Automata, Languages and Programming), og modtagerne anerkendes for deres banebrydende bidrag til forskningen inden for teoretisk Datalogi.
Komiteen begrunder deres valg således: Kasper har lavet en række fremragende bidrag til vores forståelse af, hvor effektivt algoritmer, og dermed computere, kan løse beregningsproblemer. Igennem hans forskning har Kasper udviklet informations-teoretiske teknikker, der sætter os i stand til at finde grænserne for, hvor effektivt et beregningsproblem kan løses. Disse teknikker har i mange tilfælde brudt barrierer, som forskere har kæmpet med i årtier. Kasper har udforsket computerens begrænsninger inden for mange grene af Datalogi, og har lavet banebrydende bidrag blandt andet inden for data strukturer, kryptografi og machine learning.
”Ud over anerkendelsen, vil prisen have stor betydning, når jeg i fremtiden skal søge forskningsmidler og tiltrække nye postdocs og ph.d.-studerende”, forklarer Kasper Green Larsen.
Læs mere om Presburger prisen her: http://eatcs.org/index.php/presburger
Læs den originale begrundelse her: http://eatcs.org/index.php/component/content/article/1-news/2801-presburger-award-2019-laudatio-for-karl-bringmann-and-kasper-green-larsen?fbclid=IwAR0UFqRYMBQDNBpo2ESo9gO8foPPjo_dnOtOJFYIAhAUFnRm6JBXDbR1uNI
Nøgleord
Kontakter
Marianne Dammand Iversen, dammand@cs.au.dk
Kasper Green Larsen, larsen@cs.au.dk
Information om Aarhus Universitet Natural Sciences
Institut for Datalogi, Aarhus Universitet blev grundlagt i 1968 som en del af Matematisk Institut. Det blev et selvstændingt institut i 1998 og flyttede i 2000 til Katrinebjerg.
Institut for Datalogi på Aarhus Universitet fokuserer på en bred vifte af områder inden for datalogi og IT produktudvikling, og tilbyder en uddannelse både til de studerende, der har en teknisk interesse og de studerende der interesserer sig for design, user interfaces, m.m.
Instituttet har omkring 700 studerende fordelt mellem to bachelor uddannelser, to master uddannelser, en ph.d.-uddannelse samt efter- og videreuddannelse.
Følg pressemeddelelser fra Aarhus Universitet Natural Sciences
Skriv dig op her, og modtag pressemeddelelser på e-mail. Indtast din e-mail, klik på abonner, og følg instruktionerne i den udsendte e-mail.
Flere pressemeddelelser fra Aarhus Universitet Natural Sciences
Ny indsigt i kolesterols dynamik kaster lys over neurodegenerativ sygdom8.4.2024 09:43:27 CEST | Pressemeddelelse
Forståelsen af kolesterolbalancen i celler åbner op for nye perspektiver på den neuro-degenerative sygdom Niemann-Pick type C, der også kaldes "børne-demens". Disse resultater udgør et betydningsfuldt skridt i retning af at behandle denne sygdom.
Stjernen Epsilon Indi skælver ganske svagt - vi er et skridt nærmere på at forstå de stjerner, som ligner Solen27.3.2024 16:29:52 CET | Pressemeddelelse
En række Aarhus-forskere er dybt involverede den nye opdagelse.
De første mennesker kom til Europa for mindst 1,4 mio. år siden – fra øst6.3.2024 17:00:00 CET | Pressemeddelelse
Dateringer af jordlag med primitive stenredskaber i det vestlige Ukraine viser, at menneskeslægten – sandsynligvis i form af arten Homo erectus – var til stede i Europa allerede for 1,4 millioner år siden. De er 2-300.000 år ældre end de hidtil ældste fund i Spanien og Frankrig, og kaster nyt lys over menneskets kolonisering af det europæiske kontinent.
Ny opdagelse viser, hvordan celler forsvarer sig i stressede situationer27.2.2024 11:23:23 CET | Pressemeddelelse
En ny undersøgelse foretaget af et internationalt forskerhold afslører, hvordan vores celler forsvarer sig i stressede situationer. Forskningen viser, at en lille ændring i det genetiske materiale, kaldet ac4C, fungerer som en afgørende forsvarer, der hjælper celler med at skabe beskyttende tilflugtssteder kendt som stressgranuler. Disse stressgranuler sikrer vigtige genetiske instruktioner, når cellen står over for udfordringer. De nye resultater kan hjælpe med til at vise nye metoder til at behandle sygdomme.
Fremmede planteædere er lige så gode for lokale planter som hjemmehørende arter19.2.2024 11:16:59 CET | Pressemeddelelse
Nyt stort studie viser, at ideen om, at hjemmehørende dyr er bedre for det lokale økosystem end introducerede arter, er forkert. I stedet er det dyrenes måde at søge føde på, der har betydning.
I vores nyhedsrum kan du læse alle vores pressemeddelelser, tilgå materiale i form af billeder og dokumenter samt finde vores kontaktoplysninger.
Besøg vores nyhedsrum