Mulheres de destaque no mundo da informática. Parte III

Se não todos, então muitos conhecem Ada Lovelace. Obviamente, seu trabalho merece reconhecimento e respeito universal. No entanto, no mundo da ciência da computação, existem muitas mulheres cientistas cujos nomes raramente são incluídos no "top 10". O trabalho deles merece atenção e respeito, pois o resultado desse trabalho influenciou, de uma maneira ou de outra, o mundo dos computadores e, consequentemente, a vida da sociedade. Hoje vamos expandir um pouco nossa geografia e conhecer algumas das mulheres mais destacadas do mundo da computação da Ásia e da Europa. Vamos lá

Asakawa Chieko (Chieko)



Infelizmente, nem todas as pessoas conseguem alcançar a meta sem ter que superar nenhum obstáculo no caminho. Problemas financeiros, restrições sociais ou dramas familiares podem interferir. Mas o obstáculo mais sério pode ser um problema de saúde, porque nossa saúde nos determina.

Asakawa Chieko nasceu em 1958 em Osaka, Japão. Ela era uma criança ativa e feliz, sonhando em se tornar uma campeã olímpica. Mas esse sonho não estava destinado a se tornar realidade. Aos 11 anos, Asakawa machucou o nervo óptico enquanto nadava. A visão começou a desaparecer lentamente, mas irrevogavelmente. E aos 14 anos, ela estava completamente cega. Ser um atleta promissor e perder saúde é um golpe muito, muito forte para qualquer pessoa.

No entanto, Asakawa não podia desistir e ficar parado. Portanto, ingressou na Faculdade de Literatura Inglesa da Universidade de Otemon Gakuin, onde se formou em 1982. Depois disso, Asakawa concluiu um curso de programação de dois anos para pessoas cegas. Durante o treinamento, usamos um dispositivo eletromecânico muito interessante - Optacon (conversor de óptico para TAtil), que pode ser traduzido como um “conversor óptico-tátil”. Este dispositivo permitiu a uma pessoa cega ler texto impresso simples (não em Braille).


(em poucas palavras, sobre o dispositivo) Optacon consistia em duas partes principais: uma câmera e um conversor tátil. Um homem seguiu a câmera através do texto, ela consertou e transferiu os dados para o módulo conversor principal. Tinha uma matriz de barras de metal 24x6, cada uma das quais vibrando individualmente. Assim, uma certa combinação de hastes vibratórias criou uma imagem tátil que dá a uma pessoa cega a idéia de uma letra específica, depois uma palavra e a frase como um todo. O criador deste dispositivo único é John G. Linville (1919-2011) - professor emérito de engenharia elétrica da Universidade de Stanford.

Asakawa disse que tinha uma pergunta, por quem, onde e como trabalhar? Às vezes é difícil para uma pessoa com visão de encontrar trabalho, muito menos uma pessoa cega. Por acaso, Chieko descobriu que os cegos foram contratados como engenheiros de computação. Chieko, sem hesitar, agarrou essa chance com as duas mãos. E em 1984, ela ingressou na equipe de Pesquisa da IBM como funcionária temporária. Muito rapidamente, depois de apenas um ano, ela se tornou uma funcionária permanente e em tempo integral.

Asakawa se propôs a criar ferramentas que podem ajudar as pessoas com deficiência a obter a quantidade total de informações e a operar programas em pé de igualdade com as pessoas que vêem. Chieko desenvolveu um processador de texto para documentos em Braille, que permite aos cegos operar e editar esses textos. Foi uma tarefa difícil, mas não tão trabalhosa quanto a criação de uma biblioteca digital em Braille. Chieko diz o seguinte sobre isso:

Antes de a biblioteca digital aparecer, tive que ligar para a biblioteca em Braille e dizer: "Gostaria de ler Harry Potter, você pode me enviar um livro?" E eles me enviaram o livro pelo correio. Porém, após o desenvolvimento da biblioteca eletrônica, podemos acessar os livros e baixá-los a qualquer momento.

Este trabalho colossal foi e é extremamente importante para os cegos, pois lhes dá a oportunidade, juntamente com todos, de mergulhar no mundo da literatura, conhecimento e informação. E o direito de "comida" para a mente deve ter todas as pessoas.

Depois de trabalhar na biblioteca, Asakawa começou a desenvolver outro "assistente" igualmente importante para os cegos - um plug-in para o navegador Netscape que podia converter texto em fala e ferramentas de pesquisa na Web aprimoradas para as necessidades dos cegos. A IBM gostou desse plug-in e, em 1997, tornou-se um produto completo da empresa chamado "Home Page Reader". Este plug-in é a ferramenta de conversão de texto em fala mais popular e mais comum há 5 anos. Em 2004, Asakawa Chieko recebeu um Ph.D. em engenharia pela Universidade de Tóquio.


Asakawa Chieko nunca termina com seu smartphone, ajudando-a a fazer a maior parte do trabalho sozinha.

Tais trabalhos notáveis ​​no campo da tecnologia da computação não passaram despercebidos nem pela IBM nem pela comunidade científica global. Em 2003, Asakawa Chieko foi incluída no Hall da Fama Internacional da Mulher em Tecnologia. E em 2009, Chieko recebeu o título honorário (título mais alto) da IBM Fellow, tornando-se a primeira mulher do Japão a receber esse título. O governo japonês também observou os méritos de Asakawa com a Medalha de Honra Purple Ribbon (emitida desde 1955 para pessoas que deram uma contribuição significativa ao desenvolvimento da ciência e da tecnologia).


Asakawa Chieko demonstra seu desenvolvimento - um assistente para cegos (a visualização do vídeo pode exibir um erro, mas na verdade funciona)

Asakawa está atualmente trabalhando no projeto Acessibilidade, cuja principal tarefa é melhorar a vida das pessoas com deficiência (pessoas com deficiência, idosos, etc.). Utilizando tecnologias modernas, incluindo a IA, o projeto deve simplificar a vida dessas pessoas, dando-lhes acesso mais fácil às informações, a capacidade de se deslocarem pela cidade e levar uma vida social ativa.

Minha motivação é que, quando comecei algo, tenho que terminar. Não posso me dar ao luxo de desistir no meio do caminho. Eu tenho dificuldade, como pessoa cega, com a disponibilidade de informações ou movimento. Essa experiência dolorosa me ajuda a modernizar minha vida. Eu realmente gosto de Harry Potter. Apesar de ter crescido em condições muito difíceis, seu coração não se partiu. Ele nunca desistia e sempre tentava ajudar as pessoas. Eu acho que podemos aprender muito. Eu não tenho poderes mágicos, como Harry Potter. Eu só tenho que fazer um esforço para melhorar minha vida. É difícil comparar qual vida era melhor para mim - com ou sem visão. Mas agora posso dizer - estou muito feliz.

Neste vídeo, Asakawa Chieko fala sobre o que mais importa para o seu dia e como a tecnologia pode ajudar as pessoas cegas.

Asakawa não é apenas um excelente engenheiro e desenvolvedor. Ela é um modelo não apenas para pessoas com deficiência, mas também para aqueles que não encontraram dificuldades semelhantes. Você nunca pode desistir, nunca pode parar de acreditar em si mesmo e em sua mente. Talvez, chegando à linha de chegada do seu trabalho, você não goste do resultado. Pode não ser tão extraordinário quanto você gostaria. Mas se você desistir no meio do caminho ou tiver medo de seguir esse caminho, não haverá resultado algum.

Alexandra Moysilovich



Para beneficiar a sociedade, nem sempre é necessário inventar ou desenvolver algo novo ou melhorar o antigo. Às vezes, para melhorar a vida da sociedade, é necessário analisar essa vida.

Alexandra Moysilovich nasceu em 1968 em Belgrado (na época, Iugoslávia). Quando criança, Alexandra queria se tornar uma artista. Seus pais reagiram a esses planos com moderação, mas estritamente:

Meu pai me disse que eu posso me tornar qualquer um. Mas quando estou sem dinheiro, devo ter certeza de que eles não terão que pagar minhas contas.

Foi uma dica muito opaca de que o artista estará com fome, e você precisa escolher um caminho diferente. Possuindo uma mente inquisitiva e boas habilidades nas ciências exatas, Alexandra ingressou na Faculdade de Engenharia Elétrica da Universidade de Belgrado. Em 1992, ela recebeu um diploma de bacharel, após apenas 2 anos e um mestrado. Esses anos foram difíceis para Alexandra e para todos os seus compatriotas devido à crise política e econômica do país.


Edifícios residenciais afetados por bombardeios (cidade de Sarajevo)

Eu cresci em um país que não existe mais. A situação foi muito difícil. Às vezes não havia gás, eletricidade, água ou mesmo comida. Este período determinou o que serei no futuro. Em geral, ele me deixou mais alegre (apreciando a vida) e mais forte.

Um ponto de virada na vida de Alexandra foi sua tese de doutorado, que ela defendeu com sucesso em 1997. Seu trabalho foi descrito pela chamada "visão computacional". Alexandra queria ensinar um computador a ver e analisar imagens, ou melhor, raios-X, a fim de determinar os sintomas visíveis do câncer. Quem pensaria que seu trabalho seria notado por cientistas do outro lado do mundo, a saber, cientistas do Bell Labs (Bell Labs). Em 1998, ela foi convidada para o Bell Labs e se mudou para os Estados Unidos. Então ela trabalhou até 2000. Não sem decepções. Seu trabalho em visão computacional causou um grande interesse em todos, mas foi rapidamente esquecido. Percebendo que ela sozinha não seria capaz de implementá-lo naquele momento, Alexandra mudou para outro trabalho não menos complexo e importante, a análise de big data. Naquela época, um conceito como "ciência de dados" ou "análise de dados (cálculo / processamento)" simplesmente não existia. Em 2000, a IBM convidou Alexandra para um centro de pesquisa, onde trabalha até hoje.


Alfabeto da ciência: letra D = Dados. Alexandra Moysilovich fala sobre a importância dos dados e como eles são usados

Alexandra Moysilovich atualmente é chefe de fundações da IA ​​no Thomas Watson Research Center em Yorktown Heights, Nova York. Este departamento está envolvido em aprendizado de máquina, processamento de sinal multidimensional, reconhecimento de padrões. E o mais importante, aplicando essas tecnologias em várias áreas da sociedade: assistência médica, modelagem financeira, análise de negócios, biometria, etc.

Moysilovich também é co-diretor do projeto IBM Science for Social Good, destinado ao uso mais eficiente das tecnologias modernas no processo de melhoria da sociedade.


Alexandra Moysilovich, "Análise de Dados para o Benefício da Sociedade"

Alexandra Moysilovich não apenas analisa os dados, como também cria cada vez mais novos métodos desse processo, pois quanto mais precisa, mais rápida e melhor a análise for realizada, mais eficiente será a utilização de seus resultados. Alexandra já teve 15 patentes nesse campo, e esse claramente não é o limite.

Os dados são de grande importância na sociedade. Eles nos cercam todos os dias, mesmo que não pensemos nisso. Compreendendo os dados, entendemos a essência.

Em 2006, uma pessoa me abordou e me pediu para analisar várias empresas. Ele queria demonstrar a alguém que as empresas que investem na terceirização de TI são melhores do que aquelas que não. Depois de analisar um monte de dados, pudemos provar a correção dessa afirmação. Os resultados da análise tornaram-se mais poderosos do que qualquer campanha publicitária.

Continuando o tema da importância da análise de dados dentro de uma empresa, Alexandra diz o seguinte:

Imagine que a empresa tenha o funcionário perfeito. Ele faz tudo no prazo e pode lidar mesmo com o projeto mais desesperador. Se você criar seu modelo matemático pessoal, de acordo com seus parâmetros, poderá selecionar os mesmos funcionários na empresa.

E Alexander teve que realizar uma análise semelhante do big data, criando modelos matemáticos para mais de 50.000 funcionários da IBM.

A contribuição de Alexandra para a ciência dos dados foi marcada por muitos prêmios, e a IBM concedeu a ela o título mais honroso para seus funcionários - IBM Fellow.



A análise de dados não é a área mais importante da atividade científica. Na maioria das vezes, os cientistas desse campo permanecem à sombra de projetos e estudos maiores, em maior escala e "vibrantes". No entanto, não esqueça que qualquer outro projeto se baseia nos mesmos dados que precisam de análise. Esse processo é tão essencial ao mundo da tecnologia da informação quanto o ar para os seres humanos. E os incríveis trabalhos de Alexandra Moysilovich, que está na vanguarda da ciência de dados, são uma prova disso.

Pascal Fung



Uma máquina (android ou computador) pode entender completamente uma pessoa em um nível emocional? A primeira coisa que quero responder é não. O carro não tem emoções, como ela pode entendê-las? No entanto, nem todo mundo pensa o mesmo.

Pascal Fung nasceu em 1966 na cidade de Shanghai (China). Seus pais eram artistas e, portanto, é lógico que eles a prepararam desde o berço para o futuro de um homem de arte. Aos 11 anos de idade, em 1977, Fung se mudou para Hong Kong com sua mãe e irmã. Este período foi extremamente difícil para todos os residentes da China, pois o país estava apenas começando a se recuperar das consequências da "revolução cultural".


Fung estava cercado de arte, mas ela escolheu as ciências exatas. A coisa toda está nos livros que ela começou a ler desde a infância. A ficção científica sobre tecnologia incrível, sobre o futuro, sobre robôs empurrou Pascal na direção da ciência da computação.

Pascal recebeu o ensino médio em Belilios, a escola mais antiga para meninas em Hong Kong. Nos anos escolares, ela organizou dois círculos para os alunos: eletrônica e astronomia. Segundo Pascal Fung, seu ambiente não estimulou e não incentivou as meninas que aspiravam a fazer ciência. Portanto, o próximo estágio educacional de Fung não foi na China, mas nos Estados Unidos. Ela recebeu seu diploma de bacharel pelo Instituto Politécnico de Worcester em 1988. Cinco anos depois, ela se tornou mestre em ciência da computação na Columbia University. Naturalmente, ninguém pensou em parar com isso, porque já em 1997 a Fung se tornou um doutor em ciências.


Belilios Schoolhouse

Naqueles dias, as idéias de Pascal e suas visões sobre o futuro do mundo da computação eram para muitos extremamente incomuns, futuristas e até revolucionárias. No entanto, não importa o que os outros digam, Fung continuou a trabalhar em seu campo, nomeadamente no campo da interação entre máquina e homem. As principais áreas que Pascal Fung usa em seu trabalho são processamento de linguagem natural, sistemas de linguagem de conversação, reconhecimento de emoções e humor e análise preditiva. A combinação dessas áreas permite criar sistemas inteligentes que podem não apenas entender uma pessoa no nível da fala, mas também no nível emocional.

Nós estamos conversando com animais. É o tom do nosso discurso, o fundo emocional de nossas palavras, que os ajuda a nos entender, mesmo sem entender as próprias palavras. Portanto, o contexto emocional é um componente importante da representação semântica.

Ao longo de sua longa carreira, Pascal Fung deu uma enorme contribuição ao desenvolvimento e aprimoramento de uma área tão complexa da ciência da computação, como a interação entre homem e máquina. Ela ainda aprendeu 6 idiomas em paralelo, o que não é surpreendente, dada a natureza de sua ocupação. Atualmente, como professor da Universidade de Ciência e Tecnologia de Hong Kong, Fung continua a conduzir pesquisas e gerenciar vários projetos. Um deles é a "cabeça falante" do andróide. Esta máquina poderá não apenas reconhecer a fala do interlocutor da pessoa, mas também suas expressões micro-faciais, bem como o contexto emocional das frases. O Android poderá falar, mostrando emoções que corresponderão à frase falada, ao tópico da conversa ou às emoções do interlocutor.

Além do acima, Fung é o líder de muitos grupos de pesquisa envolvidos em robótica, na Internet das coisas e até em análises financeiras. Graças aos esforços de Fung em emparelhar idiomas e tecnologias, o primeiro mecanismo de busca em chinês foi lançado em 2001, bem como o primeiro assistente virtual para smartphones em 2010.


Professora Fung depois de lhe conceder um prêmio da Associação de Profissionais e Empreendedores de Mulheres de Hong Kong

O tremendo trabalho de Fung no campo do reconhecimento de fala, a implementação da IA ​​emocional, a expansão da interação homem-máquina e muito mais foram observados por muitos títulos e prêmios honorários. A Fung também participa regularmente de vários fóruns científicos e econômicos internacionais.



Além das atividades científicas, a Fung promove a "transferência de tecnologia" (quando uma nova tecnologia ou pesquisa não permanece fechada, mas é distribuída na sociedade, transferida de universidade para universidade, de laboratório para laboratório, etc.), igualdade de gênero e triunfo da mente.


Entrevista com Pascal Fung sobre o tema "Treinamento em computador da empatia"

Ser o primeiro em algo é sempre difícil, porque você não tem a oportunidade de usar a experiência adquirida antes de você, porque simplesmente não existe. No entanto, essa não é uma barreira intransponível. Esta é apenas uma dificuldade no caminho para a meta. Mesmo que esse objetivo seja tão incomum e futurista quanto uma conversa emocional entre uma pessoa e uma máquina.

Mary Lee Woods



Criar um programa pode ser muito difícil. Mesmo com o máximo esforço, ele ainda pode conter erros. E a busca por esses "estoques" pode ser ainda mais difícil. Especialmente se estamos falando de programas e computadores da amostra dos anos 50.

Mary Lee Woods nasceu em 12 de março de 1924 na cidade de Birmingham (Inglaterra). Os pais de Mary eram professores. Enquanto estudava na escola (Yardleys School), Mary mostrou um grande interesse em matemática. E como o aluno não podia estudar muitas matérias de uma só vez (tudo em sequência), Mary teve que abandonar o inglês e o francês, para poder fazer mais matemática, geografia e física.


Edifício da escola Yardleys

Desde cedo, a mãe e o pai incentivaram a filha a receber educação, porque pertenciam àquelas pessoas que acreditavam que uma mulher deveria ter uma alternativa, uma escolha de caminho de vida, e não casamento-filhos-cozinha-pensão. Aqui está o que a própria Maria diz sobre isso:

Tanto quanto me lembro, eles se conheceram em uma reunião de mulheres (onde as mulheres se manifestaram por seus direitos) e a ideia dos direitos de uma mulher as fascinou muito. Eles perceberam que é imperativo que uma mulher queira e sinta. É importante que exista uma alternativa ao casamento justo, que era considerado a norma para muitas pessoas naquela época e até agora muitas pessoas pensam assim.

Antes que Mary pudesse começar seus estudos na Universidade de Birmingham, o mundo enfrentou a agressão nazista. Mary, como outros residentes, foi evacuada para a pequena cidade de Lidney, em Gloucestershire. Segundo Woods, este ano não foi fácil. As crianças evacuadas viviam nas famílias das pessoas da cidade de Lidney, sentindo uma forte falta de provisões. E nos meses de inverno não havia nada para aquecer as instalações.

. — . , , , - .

Um ano depois, as crianças voltaram para Birmingham. O dano do bombardeio foi enorme. A escola onde Mary estava estudando sofreu o bombardeio, porque o teto estava coberto de buracos, não havia aquecimento e, em dias de chuva, tudo estava inundado de água. Portanto, na maioria das vezes as aulas eram realizadas em abrigos antiaéreo. O processo educacional também não foi tão tranquilo. O corpo docente inicial era misto (homens e mulheres). Os homens foram enviados para a guerra, porque os professores eram bastante banais.


Ruas de Birmingham após o atentado

Durante 2 anos, tive 5 professores diferentes de matemática. Isto não é recomendado. Depois disso, pensei no que fazer a seguir. O estado ofereceu uma bolsa de estudos para engenheiros, e eu aproveitei e fui para Manchester.

Entre 1942 e 1944, Mary estudou na Universidade de Birmingham, mas durante esses anos muitos estudantes foram enviados para várias bases militares. Inicialmente, Mary deveria trabalhar no laboratório de pesquisa aeronáutica em Farnborough. Mas os planos mudaram em vista dos eventos trágicos. O único irmão de Maria, que se juntou às fileiras dos soldados, foi morto em batalha. Maria não podia deixar seus pais de coração partido. Portanto, ela solicitou sua transferência para a cidade de Malvern (Worcestershire). Nesse local, tudo estava focado nos radares, nos quais, segundo Mary, ela não entendia nada. Depois de dois anos trabalhando no que ela não gostava, Woods retornou à universidade e concluiu seus estudos em 1947.


Malvern Área do Sul (1949)

Cansada da guerra, com dor no coração pela morte de seu irmão, Maria dá um passo muito decisivo. Depois de ler um artigo do professor Richard van der Riet Woolley na revista Monthly Notes da Royal Astronomical Society, ela decidiu fazer astronomia. Woods escreveu uma carta ao professor, à qual ele respondeu com um convite para trabalhar no Observatório de Canberra.


Um exemplo de tabela de classificação espectral para estrelas

Veja como Mary Woods descreve seu trabalho no observatório:

: . , , . , , . , . 2 , , , , .

, . . , . .

Mary realmente não gostou do trabalho rotineiro e monótono das estrelas, então, depois de três anos, ela voltou para sua terra natal. Woods novamente enfrentou a incerteza de seu futuro. No entanto, acidentes não são acidentais, como eles dizem. Mary viu um anúncio na revista Nature, "Matemática necessária para trabalhar em um computador digital".

Uma oferta interessante e atraente, mas o que é um "computador digital"? Essa é a pergunta que surgiu na cabeça de Maria.

Eu não sabia o que era Antes disso, o máximo que eu usava era o Brunsviga (calculadora mecânica).

A calculadora mecânica Brunsviga Nova 13 (ano de lançamento - 1920)

Mary passou dois dias na biblioteca, estudando o que é um computador, e depois foi a uma entrevista. Para aumentar suas chances de conseguir um emprego, Woods fez perguntas inteligentes, embora na época ela não entendesse bem as respostas para elas.

Mary Woods foi contratada como programadora. Um grupo de engenheiros e programadores liderados por John Bennett estava trabalhando em uma versão comercial do computador Mark I (o primeiro computador totalmente eletrônico com um programa em RAM) chamado Ferranti Mark 1. Planejava-se criar um computador público que fosse vendido livremente para qualquer pessoa. Mais tarde, uma versão mais avançada foi lançada - Ferranti Mark 1 *.


Tom Kilburn (um dos criadores do Ferranti Mark 1) está ao lado de sua criação (1950)

Woods escreveu programas em código de máquina. O computador usava aritmética de 40 bits. Isso complicou bastante o processo de dimensionar variáveis ​​no programa, mantendo uma precisão bastante alta.

Um grupo de programadores decidiu incorporar uma sequência de números de 0 a 31 na forma de um código bodo Bodo de 5 bits em uma fita, que foi usada para entrada / saída:

/ E @ A: SIU½DRJNFCKTZLWHYPQOBG »MXV £

Outra complicação foi o armazenamento em duas camadas. 8 páginas de memória de acesso aleatório em tubos de raios catódicos e 512 páginas de armazenamento secundário em um tambor magnético. Cada página consistia em 32 palavras de 40 bits que eram exibidas como 64 linhas de 20 bits em um CRT.

Tudo isso é terrivelmente difícil - fazer o carro funcionar. Mas, quando funciona, ocorrem erros, como se alguém não tentasse evitá-los. Diagnosticar esses erros foi incrivelmente difícil e demorado. O programador teve que sentar e observar como o computador executava uma operação de cada vez para ver se tudo estava funcionando ou se algo estava errado. Esse processo levou um tempo valioso. Em seguida, o gerente de projeto John Bennett sugeriu que Mary Woods escrevesse um programa que pudesse imprimir o conteúdo da memória e linhas individuais de armazenamento em um programa específico para se livrar da necessidade de monitorar constantemente o computador. A coisa mais difícil para Maria foi paralelizar esse programa, ou seja, ela trabalhar simultaneamente com o objetivo do diagnóstico (o programa principal), sem interferir nela. Ao mesmo tempo, havia muito pouco espaço na memória principal. Entre outras coisas, Mary escreveu um programa que foi capaz de resolver simultaneamente 40 equações, o que era muito na época.


Mary Woods com o marido Conway Berners-Lee (1954)

Além da programação, Woods sempre defendeu os direitos das mulheres. Ela descobriu que os funcionários do projeto recebem menos salário que os funcionários, embora o trabalho seja feito da mesma forma, se não mais difícil, e na mesma quantidade. Não querendo tolerar tal atitude, Mary protestou e reclamou com o departamento de pessoal. Seus requisitos de nivelamento salarial foram aprovados.

Mary Woods trabalhou no projeto Ferranti até 1955, após o qual se aposentou. Ela queria ter tempo com sua família e seu filho recém-nascido. No entanto, um especialista tão bom não fica sem trabalho, mesmo dentro das paredes da casa. Inúmeros projetos, pequenos e grandes, começaram a pedir ajuda a ela. Assim, Mary se tornou uma das primeiras freelancers, cumprindo ordens de programação sem sair de casa.


Sir Timothy John Berners-Lee, filho de Mary Woods e criador da World Wide Web

Mary sempre falava com modéstia sobre suas habilidades de programação e contribuições para essa ciência. No entanto, com qualquer coisa, e seu filho, ela estava sempre pronta para se gabar. E isso não é casual, já que Mary Woods é a mãe de Tim Berners-Lee - o homem que criou a Internet.

Meu maior mérito é ser avó da Internet.

Mary Woods é um excelente exemplo de como seguir seu coração. Se você quer ser químico (por exemplo), nenhuma outra atividade, mesmo a mais divertida, fará você feliz. Você sempre se arrependerá de não ter seguido o caminho que escolheu.

Uma curta gravação de áudio na qual Mary Woods fala sobre programação

Marta Kwiatkowska



Às vezes, para procurar erros, longe dos métodos mais padrão são necessários.

Marta Kwiatkowska nasceu em 26 de fevereiro de 1957 na Polônia. Marta recebeu seu ensino superior na Universidade Jagiellonian, a universidade mais antiga da cidade de Cracóvia. Ela imediatamente recebeu um diploma de bacharel e mestrado em ciência da computação. Como estudante, ela era extremamente capaz, como evidenciado pelo fato de ter recebido as insígnias “summa cum laude” (com a mais alta estima), o que significa a nota mais alta no sistema de avaliação de conhecimento na Polônia.


Edifício da Universidade de Leicester

Em 1989, Marta defendeu seu doutorado na Universidade de Leicester (Inglaterra). Ao longo dos anos, Kwiatkowska tem ensinado em várias universidades ao redor do mundo. No entanto, ela recebeu reconhecimento público não apenas por isso.

Como pesquisadora, Kwiatkowska se dedicou ao estudo, modelagem e verificação de sistemas probabilísticos. Bem como a criação de novos modelos de técnicas de teste.

O trabalho duro de Martha e sua equipe resultou no verificador simbólico probabilístico PRISM. ( Relatório sobre PRISM )

O PRISM é um programa formal de verificação * para modelagem e análise de sistemas com características probabilísticas. A origem de tais sistemas pode ser o uso de um algoritmo probabilístico (randomização) nos protocolos de comunicação Bluetooth ou em protocolos de segurança (por exemplo, roteamento de multidões ou cebola). Os sistemas que podem ser analisados ​​usando o PRISM também incluem reações bioquímicas (metabolismo).

Usando o PRISM, pode-se analisar a cadeia de Markov (com tempo discreto e tempo contínuo), o processo de tomada de decisão de Markov e extensões probabilísticas da formalização de um autômato temporário.



Outro recurso do PRISM é seu código aberto. Qualquer um pode se aprofundar no código deste software. E em 2013 e 2014, o PRISM participou do Google Summer of Code (o Google organiza uma competição anual em que os participantes realizam determinadas tarefas como parte de um projeto de código aberto. O vencedor recebe até US $ 50.000 e o próprio projeto é de US $ 500 para cada participante).


Ambiente de trabalho PRISM

Se você estiver interessado em ver o que é o PRISM e como ele funciona por perto, você pode baixar o programa e seu código no link.

O PRISM foi a primeira ferramenta formal de verificação desse tipo e o padrão-ouro para desenvolvimento e pesquisa subseqüentes nessa área.

A criação do PRISM, embora seja um trabalho notável, está longe de ser a única na carreira de Marta Kvyatkovskaya.



Não é de surpreender que, olhando para essa lista de obras, Martha tenha recebido muitos prêmios e honras. No momento, além de pesquisas, Marta ensina na Universidade de Oxford, onde é professora de ciência da computação.


Marta Kwiatkowska com seus alunos (2016)

Marta Kwiatkowska atualmente lidera o projeto Autonomia Móvel, patrocinado pelo Conselho Europeu de Pesquisa, que deve terminar em 2020.


Marta Kwiatkowska fala sobre robôs autônomos móveis

Infelizmente, não consegui encontrar informações sobre o que empurrou Marta no caminho da ciência da computação. Mas o que quer que fosse, não foi em vão. Uma mente notável, a capacidade de analisar e identificar certas relações causais e uma "pitada" de criatividade permitiram a Marta criar grandes coisas, pelas quais ela será merecidamente lembrada por um período muito, muito longo.

Epílogo

É triste que as importantes pesquisas, inovações, descobertas e desenvolvimentos da maioria dos cientistas sejam conhecidas apenas em um círculo muito restrito de pessoas. Embora sentimos o impacto do trabalho deles todos os dias, porque nossa vida está agora inextricavelmente ligada à tecnologia, em particular à informática. Qualquer cientista, seja mulher ou homem, continua sendo um cientista - uma pessoa com uma mente inquisitiva e um desejo de entender o que e como funciona para melhorar e criar. O que quer que lhe digam, se você deseja construir para o bem da sociedade, se você quer se dedicar ao mundo da ciência, aja. Não desista e continue caminhando em direção à meta. O caminho pode ser longo e sinuoso, mas quanto mais difícil, mais brilhantes serão os sentimentos ao concluir. Explore, pense e crie.

Obrigado por ficar conosco. Você gosta dos nossos artigos? Deseja ver materiais mais interessantes? Ajude-nos fazendo um pedido ou recomendando a seus amigos, um desconto de 30% para os usuários da Habr em um análogo exclusivo de servidores básicos que inventamos para você: Toda a verdade sobre o VPS (KVM) E5-2650 v4 (6 núcleos) 10GB DDR4 240GB SSD 1Gbps de US $ 20 ou como dividir o servidor? (as opções estão disponíveis com RAID1 e RAID10, até 24 núcleos e até 40GB DDR4).

Dell R730xd 2 vezes mais barato? Somente nós temos 2 TVs Intel Dodeca-Core Xeon E5-2650v4 128GB DDR4 6x480GB SSD 1Gbps 100 a partir de US $ 249 na Holanda e nos EUA! Leia sobre Como criar um prédio de infraestrutura. classe usando servidores Dell R730xd E5-2650 v4 custando 9.000 euros por um centavo?