Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Instalar
Acesso mais rápido do que o navegador!
 

Ernest Allen Emerson

Índice Ernest Allen Emerson

Ernest Allen Emerson (Dallas, 2 de junho de 1954) é um informático estadunidense.

16 relações: Barbara Liskov, Ciência da computação, Dallas, Edmund Clarke, Estados Unidos, Frances Allen, Informática, Joseph Sifakis, Povo dos Estados Unidos, Prêmio Paris Kanellakis, Prêmio Turing, Universidade do Texas em Austin, Universidade Harvard, Verificação de modelos, 1954, 2 de junho.

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!!: Ernest Allen Emerson 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!!: Ernest Allen Emerson e Ciência da computação · Veja mais »

Dallas

Dallas ou, na sua forma lusitana, Dalas é uma cidade nos Estados Unidos, no estado do Texas.

Novo!!: Ernest Allen Emerson e Dallas · Veja mais »

Edmund Clarke

Edmund Melson Clarke, Jr. (Newport News, – 22 de dezembro de 2020) foi um cientista da computação estadunidense.

Novo!!: Ernest Allen Emerson e Edmund Clarke · Veja mais »

Estados Unidos

Os Estados Unidos da América (EUA; United States of America — USA), ou simplesmente Estados Unidos ou América, são uma república constitucional federal composta por 50 estados e um distrito federal.

Novo!!: Ernest Allen Emerson e Estados Unidos · 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!!: Ernest Allen Emerson e Frances Allen · Veja mais »

Informática

Informática (do frances: "informatique", do alemã "informatik"; composição: "informação" e "automática") é um termo usado para descrever o conjunto das ciências relacionadas à coleta, armazenamento, transmissão e processamento de informações nos meios digitais, estando incluídas neste grupo: a ciência da computação, os sistemas de informação, a teoria da informação, o processo de cálculo, a análise numérica e, os métodos teóricos da representação dos conhecimentos e da modelagem dos problemas.

Novo!!: Ernest Allen Emerson e Informática · Veja mais »

Joseph Sifakis

Joseph Sifakis (Ιωσήφ Σηφάκης; Heraclião) é um informático Foi laureado com o Prêmio Turing de 2007.

Novo!!: Ernest Allen Emerson e Joseph Sifakis · 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!!: Ernest Allen Emerson e Povo dos Estados Unidos · 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!!: Ernest Allen Emerson 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!!: Ernest Allen Emerson e Prêmio Turing · Veja mais »

Universidade do Texas em Austin

A Universidade do Texas em Austin (The University of Texas at Austin), informalmente Universidade do Texas (University of Texas), UT Austin ou simplesmente UT, é uma universidade pública, principal faculdade da Universidade do Texas. Fundada em 1883, seus campus ficam a aproximadamente 400 metros do Capitólio do Estado do Texas, em Austin, capital do estado americano do Texas. A instituição tem o quinto maior índice de alunos inscritos por campus em todo o país (dados de outono de 2010), com mais de 50 000 alunos de graduação e pós-graduação, bem como 24 000 funcionários e professores. Atualmente ocupa a segunda posição em número de alunos incritos no estado, atrás da Texas A&M University. A Universidade do Texas em Austin foi uma das oito instituições a receber originalmente o título de Public Ivy e foi aceita na Associação Americana de Universidades em 1929. A universidade é um importante centro de pesquisa acadêmica, e seus gastos excederam a quantia de 640 milhões de dólares durante o ano letivo de 2009-2010. Possui sete museus e dezessete bibliotecas, incluindo o Museu e Biblioteca Lyndon Baines Johnson e o Museu de Arte Blanton, e é responsável pela gestão de diversas instalações auxiliares de pesquisa, como o Campus de Pesquisa J. J. Pickle e o Observatório McDonald. Diversos membros do corpo docente da universidade receberam o Prêmio Nobel, o Prêmio Pulitzer, o Prêmio Wolf e a Medalha Nacional de Ciência, bem como diversos outros prêmios. Os atletas da UT Austin competem com o nome de Texas Longhorns, e pertencem à Big 12 Conference. A universidade já conquistou quatro Campeonatos Nacionais de Futebol Americano da NCAA Division I, e possui mais títulos em esportes masculinos e femininos que qualquer outra universidade dos Big 12 desde que a liga foi fundada, em 1996. Atletas antigos e atuais da UT Austin já conquistaram 117 medalhas em Jogos Olímpicos, incluindo 14 nas Olimpíadas de Pequim, em 2008. A universidade foi reconhecida pela revista Sports Illustrated como "melhor universidade para esportes do país" em 2002.

Novo!!: Ernest Allen Emerson e Universidade do Texas em Austin · Veja mais »

Universidade Harvard

Universidade Harvard (Harvard University) é uma universidade privada situada na cidade de Cambridge, estado de Massachusetts, nos Estados Unidos.

Novo!!: Ernest Allen Emerson e Universidade Harvard · 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!!: Ernest Allen Emerson e Verificação de modelos · Veja mais »

1954

----.

Novo!!: Ernest Allen Emerson e 1954 · Veja mais »

2 de junho

Saque de Roma 1966: ''Surveyor 1'' pousa no ''Oceanus Procellarum'' da Lua.

Novo!!: Ernest Allen Emerson e 2 de junho · Veja mais »

CessanteEntrada
Ei! Agora estamos em Facebook! »