Prêmio Milner - Milner Award

Prêmio e palestra da Royal Society Milner
Prêmio e palestra da Royal Society Milner
Concedido por	"conquista notável em ciência da computação por um pesquisador europeu"
Apresentado por	The Royal Society
Recompensas)	£ 5.000
Premiado pela primeira vez	2012
Local na rede Internet	Prêmio Milner e palestra

O Royal Society Milner Award , formalmente o Royal Society Milner Award and Lecture , é concedido anualmente pela Royal Society , uma sociedade erudita com sede em Londres , por "desempenho notável em ciência da computação por um pesquisador europeu". O prêmio é patrocinado pela Microsoft Research e é nomeado em homenagem a Robin Milner , um prolífico pioneiro na ciência da computação que, entre outras contribuições, projetou o LCF e a linguagem de programação ML .

Os destinatários devem ser investigadores ativos na área da informática que sejam europeus ou tenham residido na Europa durante pelo menos 12 meses antes da sua nomeação. Os vencedores recebem uma medalha de bronze e um prêmio pessoal de £ 5.000 e são convidados a fazer uma palestra pública sobre suas pesquisas na Sociedade. O Conselho da Royal Society escolhe os destinatários por recomendação do Comitê do Prêmio Milner. O Comitê é formado por membros da Royal Society , membros da Académie des sciences (França) e membros da Leopoldina (Alemanha).

Precedendo o Milner Award estava o Royal Society e Académie des sciences Microsoft Award , que premiou cientistas na Europa por avanços na ciência usando métodos computacionais . Durou de 2006 a 2009 até ser substituído pelo prêmio atual. O prêmio ACM SIGPLAN Robin Milner Young Researcher é um prêmio semelhante concedido por "contribuições notáveis de jovens pesquisadores na área de linguagens de programação".

Destinatários

O vencedor inaugural Gordon Plotkin recebeu seu prêmio em 2012, mas fez sua palestra pública em 2013, o mesmo ano que Serge Abiteboul . Em 2018, Marta Kwiatkowska se tornou a primeira mulher a receber o prêmio. Embora o destinatário de 2019, Eugene Myers seja americano, ele se mudou para Dresden , na Alemanha, em 2012 para se tornar diretor do Instituto Max Planck de Biologia Celular e Molecular e Genética , atendendo assim aos critérios para um pesquisador que é europeu ou viveu na Europa por pelo menos 12 meses. Devido às medidas de controle de infecção tomadas por causa da pandemia COVID-19 , a palestra 2020 foi realizada como um webinar Zoom .

Vencedores do prêmio Milner
Ano	Imagem	Destinatário	Nacionalidade	Justificativa
2012		Gordon Plotkin	britânico	Por "sua pesquisa fundamental em semântica de programação com impacto duradouro nos princípios e no design de linguagens de programação"
2013		Serge Abiteboul	francês	Por "sua pesquisa de banco de dados líder mundial com significativo impacto científico e industrial"
2014		Bernhard Schölkopf	alemão	Por "ser um pioneiro em aprendizado de máquina cujo trabalho definiu o campo das 'máquinas kernel' que são amplamente utilizadas em todas as áreas da ciência e da indústria"
2015		Thomas Henzinger	austríaco	Por "seus avanços fundamentais na teoria e prática de verificação formal e síntese de sistemas de computador reativos, em tempo real e híbridos"
2016		Xavier Leroy	francês	Por "suas realizações excepcionais em programação de computador, que inclui o design e implementação da linguagem de programação OCaml"
2017	-	Andrew Zisserman	britânico	Por "seu trabalho em teoria computacional e sistemas comerciais para imagens geométricas e como um pioneiro em aprendizado de máquina para visão"
2018		Marta Kwiatkowska	polonês	Por "sua contribuição para o desenvolvimento teórico e prático da verificação de modelos estocásticos e quantitativos"
2019		Eugene Myers	americano	Por "seu desenvolvimento de técnicas computacionais que trouxeram o sequenciamento do genoma para o uso diário, sustentaram as principais ferramentas de sequenciamento biológico e tornaram prática a análise em grande escala de imagens biológicas"
2020	-	Cordelia Schmid	francês	Por "seu trabalho em visão computacional e suas contribuições fundamentais para a representação de imagens e vídeos para reconhecimento visual"
2021		Zoubin Ghahramani	Britânico / iraniano	Por "suas contribuições fundamentais para o aprendizado de máquina probabilístico"
2022	-	Yvonne Rogers	britânico	Para "contribuições para a interação homem-computador e o design de tecnologia centrada no homem"