Acesso mais rápido do que o navegador!
16 relações: Barbara Liskov, Ciência da computação, COVID-19, Ernest Allen Emerson, Frances Allen, Joseph Sifakis, Newport News, Povo dos Estados Unidos, Prêmio Bower de Realização em Ciência, Prêmio Herbrand, Prêmio Memorial Harry H. Goode, Prêmio Paris Kanellakis, Prêmio Turing, Verificação de modelos, 2020, 22 de dezembro.
Barbara Liskov
Barbara Liskov, nascida Barbara Jane Huberman (Los Angeles, 7 de novembro de 19392), é uma cientista da computação estadunidense conhecida por criar o Princípio da Substituição de Liskov, por ser a primeira mulher a obter um PhD em Ciência da Computação nos Estados Unidos e por inventar o Tipo Abstrato de Dado (TAD).
Novo!!: Edmund Clarke e Barbara Liskov · Veja mais »
Ciência da computação
A Ciência da Computação lida com fundamentos teóricos da informação, computação, e técnicas práticas para suas implementações e aplicações.
Novo!!: Edmund Clarke e Ciência da computação · Veja mais »
COVID-19
COVID-19 (do inglês: coronavirus disease 2019, em português: doença por coronavírus 2019) é uma doença infeciosa causada pelo coronavírus da síndrome respiratória aguda grave 2 (SARS-CoV-2).
Novo!!: Edmund Clarke e COVID-19 · Veja mais »
Ernest Allen Emerson
Ernest Allen Emerson (Dallas, 2 de junho de 1954) é um informático estadunidense.
Novo!!: Edmund Clarke e Ernest Allen Emerson · Veja mais »
Frances Allen
Frances Elizabeth "Fran" Allen (Nova Iorque, – Schenectady) foi uma informática estadunidense e pioneira no campo de otimização de compiladores.
Novo!!: Edmund Clarke e Frances Allen · Veja mais »
Joseph Sifakis
Joseph Sifakis (Ιωσήφ Σηφάκης; Heraclião) é um informático Foi laureado com o Prêmio Turing de 2007.
Novo!!: Edmund Clarke e Joseph Sifakis · Veja mais »
Newport News
Newport News é uma cidade independente localizada no estado americano da Virgínia.
Novo!!: Edmund Clarke e Newport News · Veja mais »
Povo dos Estados Unidos
Americanos ou norte-americanos, também denominados no Brasil por estadunidenses ou estado-unidenses, são os cidadãos nascidos ou naturalizados nos Estados Unidos da América.
Novo!!: Edmund Clarke e Povo dos Estados Unidos · Veja mais »
Prêmio Bower de Realização em Ciência
O Prêmio Bower de Realização em Ciência (Bower Award and Prize for Achievement in Science) do Instituto Franklin é um prêmio científico dos Estados Unidos, doado pelo industrial químico Henry Bower, reconhecendo desde 1990 trabalhos científicos excepcionais de pessoas individuais.
Novo!!: Edmund Clarke e Prêmio Bower de Realização em Ciência · Veja mais »
Prêmio Herbrand
O Prêmio Herbrand (Herbrand Award for Distinguished Contributions to Automated Deduction) é um prêmio concedido pela Conference on Automated Deduction (CADE) Inc., honorificando pessoas ou grupos por contribuições fundamentais no campo da dedução automática.
Novo!!: Edmund Clarke e Prêmio Herbrand · Veja mais »
Prêmio Memorial Harry H. Goode
O Prêmio Memorial Harry H. Goode (Harry H. Goode Memorial Award) é um prêmio anual da IEEE Computer Society em memória de Harry H. Goode por conquistas na área de processamento da informação, consideradas tanto como uma simples contribuição à teoria, projeto ou técnica de considerável significância ou à acumulação de contribuições significativas sobre a teoria ou prática sobre um período estendido de tempo, o total dos quais representando uma conbtribuição significativa.
Novo!!: Edmund Clarke e Prêmio Memorial Harry H. Goode · Veja mais »
Prêmio Paris Kanellakis
O Prêmio Paris Kanellakis (Paris Kanellakis Theory and Practice Award) é um prêmio de informática da Associação para Maquinaria da Computação (ACM) para realizações teóricas de impacto significativo na prática da computação.
Novo!!: Edmund Clarke e Prêmio Paris Kanellakis · Veja mais »
Prêmio Turing
O Prêmio Turing é concedido anualmente pela Association for Computing Machinery (ACM) para uma pessoa selecionada por contribuições à computação.
Novo!!: Edmund Clarke e Prêmio Turing · Veja mais »
Verificação de modelos
No campo da ciência da computação, verificação de modelos (do inglês, Model Checking) refere-se ao problema de testar automaticamente se um modelo que representa um sistema atende a uma dada especificação.
Novo!!: Edmund Clarke e Verificação de modelos · Veja mais »
2020
Foi um ano marcado pela devastadora Pandemia de COVID-19, que levou à perturbação social e econômica global, causou inúmeras mortes, cancelamentos e adiamentos em massa de eventos - como as Olimpíadas, que iriam acontecer este ano, mas foram adiadas pela primeira vez na história - bloqueios mundiais e a maior recessão econômica desde a Grande Depressão dos anos 1930.
Novo!!: Edmund Clarke e 2020 · Veja mais »
22 de dezembro
É, na maior parte das vezes, o dia em que ocorre o solstício de Inverno, no Hemisfério Norte e o de Verão no Hemisfério Sul.
Novo!!: Edmund Clarke e 22 de dezembro · Veja mais »
