Herausragende Frauen in der Welt der Computertechnologie. Teil III

Wenn nicht alle, dann kennen viele Ada Lovelace. Natürlich verdient ihre Arbeit allgemeine Anerkennung und Respekt. In der Welt der Informatik gibt es jedoch viele Wissenschaftlerinnen, deren Namen selten in den "Top 10" aufgeführt sind. Ihre Arbeit verdient sowohl Aufmerksamkeit als auch Respekt, da das Ergebnis dieser Arbeit auf die eine oder andere Weise die Computerwelt und dementsprechend das Leben der Gesellschaft beeinflusst hat. Heute werden wir unsere Geografie ein wenig erweitern und einige der herausragenden Frauen der Computerwelt aus Asien und Europa kennenlernen. Lass uns gehen.

Asakawa Chieko (Chieko)



Leider schaffen es nicht alle Menschen, das Ziel zu erreichen, ohne dabei Hindernisse überwinden zu müssen. Finanzielle Probleme, soziale Einschränkungen oder Familiendramen können sich gegenseitig stören. Das schwerwiegendste Hindernis kann jedoch ein Gesundheitsproblem sein, da unsere Gesundheit uns bestimmt.

Asakawa Chieko wurde 1958 in Osaka, Japan geboren. Sie war ein aktives und glückliches Kind und träumte davon, Olympiasiegerin zu werden. Aber dieser Traum war nicht dazu bestimmt, wahr zu werden. Im Alter von 11 Jahren verletzte sich Asakawa beim Schwimmen am Sehnerv. Das Sehen begann langsam, aber unwiderruflich zu verschwinden. Und im Alter von 14 Jahren war sie völlig blind. Ein vielversprechender Athlet zu sein und die Gesundheit zu verlieren, ist für jeden Menschen ein sehr, sehr schwerer Schlag.

Asakawa konnte jedoch nicht aufgeben und stehen bleiben. Daher trat sie in die Fakultät für Englische Literatur der Universität von Otemon Gakuin ein, wo sie 1982 einen Bachelor-Abschluss erhielt. Danach absolvierte Asakawa einen zweijährigen Computerprogrammierkurs für Blinde. Während des Trainings verwendeten wir ein sehr cooles elektromechanisches Gerät - Optacon (OPtical to TActile CONverter), das als „optisch-taktiler Konverter“ übersetzt werden kann. Mit diesem Gerät konnte eine blinde Person einfachen gedruckten Text lesen (nicht in Blindenschrift).


(kurz und bündig über das Gerät) Optacon bestand aus zwei Hauptteilen: einer Kamera und einem taktilen Konverter. Ein Mann folgte der Kamera durch den Text, reparierte ihn und übertrug die Daten an das Hauptkonvertermodul. Es hatte eine Matrix aus 24x6 Metallstäben, von denen jeder einzeln vibrieren konnte. So erzeugte eine bestimmte Kombination von Vibrationsstäben ein taktiles Bild, das einem Blinden eine Vorstellung von einem bestimmten Buchstaben, dann einem Wort und der Phrase als Ganzes gibt. Der Schöpfer dieses einzigartigen Geräts ist John G. Linville (1919-2011) - emeritierter Professor für Elektrotechnik an der Stanford University.

Asakawa sagte, dass sie eine Frage hatte, von wem, wo und wie sie arbeiten sollte. Es ist manchmal schwierig für eine sehende Person, Arbeit zu finden, geschweige denn für eine blinde Person. Durch Zufall fand Chieko heraus, dass die Blinden als Computeringenieure eingestellt wurden. Chieko ergriff ohne zu zögern diese Chance mit beiden Händen. 1984 trat sie als Zeitarbeitnehmerin in das IBM Research-Team ein. Sehr schnell, nach nur einem Jahr, wurde sie eine Vollzeit- und Festangestellte.

Asakawa hat es sich zur Aufgabe gemacht, Tools zu entwickeln, mit denen Menschen mit Behinderungen umfassende Informationen erhalten und Programme auf Augenhöhe mit sehenden Menschen durchführen können. Chieko entwickelte ein Textverarbeitungsprogramm für Dokumente in Blindenschrift, mit dem Blinde solche Texte bedienen und bearbeiten können. Es war eine schwierige Aufgabe, aber nicht so mühsam wie das Erstellen einer digitalen Braille-Bibliothek. Chieko sagt dazu Folgendes:

Bevor die digitale Bibliothek erschien, musste ich die Braille-Bibliothek anrufen und sagen: "Ich würde gerne Harry Potter lesen, können Sie mir ein Buch schicken?" Und sie haben mir das Buch per Post geschickt. Nach der Entwicklung der elektronischen Bibliothek können wir jedoch jederzeit auf die Bücher zugreifen und sie herunterladen.

Diese kolossale Arbeit war und ist für Blinde äußerst wichtig, da sie zusammen mit allen Menschen die Möglichkeit bietet, in die Welt der Literatur, des Wissens und der Information einzutauchen. Und das Recht auf „Nahrung“ für den Geist sollte alle Menschen haben.

Nachdem Asakawa an der Bibliothek gearbeitet hatte, begann er mit der Entwicklung eines weiteren ebenso wichtigen „Assistenten“ für Blinde - eines Plug-Ins für den Netscape-Browser, das Text in Sprache umwandeln und die Websuchwerkzeuge für die Bedürfnisse von Blinden verbessern konnte. IBM mochte dieses Plugin und 1997 wurde es ein vollwertiges Produkt der Firma "Home Page Reader". Dieses Plugin ist seit 5 Jahren das beliebteste und am häufigsten verwendete Text-to-Speech-Tool. Im Jahr 2004 promovierte Asakawa Chieko in Ingenieurwissenschaften an der Universität von Tokio.


Asakawa Chieko trennt sich nie von ihrem Smartphone und hilft ihr, den größten Teil der Arbeit selbst zu erledigen.

Solche herausragenden Arbeiten auf dem Gebiet der Computertechnologie blieben weder von IBM noch von der globalen wissenschaftlichen Gemeinschaft unbemerkt. Im Jahr 2003 wurde Asakawa Chieko in die International Women in Technology Hall of Fame aufgenommen. Und 2009 erhielt Chieko den Ehrentitel (höchster „Titel“) IBM Fellow und war damit die erste Frau aus Japan, die diesen Titel erhielt. Die japanische Regierung wies auch auf Asakawas Verdienste mit der Purple Ribbon Medal of Honor hin (verliehen seit 1955 an Personen, die einen wesentlichen Beitrag zur Entwicklung von Wissenschaft und Technologie geleistet haben).


Asakawa Chieko demonstriert seine Entwicklung - ein Assistent für Blinde (die Videovorschau zeigt möglicherweise einen Fehler an, funktioniert aber tatsächlich)

Asakawa arbeitet derzeit am Projekt Barrierefreiheit, dessen Hauptaufgabe darin besteht, das Leben von Menschen mit Behinderungen (Menschen mit Behinderungen, ältere Menschen usw.) zu verbessern. Mit modernen Technologien, einschließlich KI, sollte das Projekt das Leben dieser Menschen vereinfachen, ihnen den Zugang zu Informationen erleichtern, sich in der Stadt bewegen und ein aktives soziales Leben führen.

Meine Motivation ist, dass ich etwas beenden muss, wenn ich etwas angefangen habe. Ich kann es mir nicht leisten, auf halbem Weg aufzugeben. Als blinder Mensch habe ich Schwierigkeiten mit der Verfügbarkeit von Informationen oder Bewegungen. Diese schmerzhafte Erfahrung hilft mir, mein Leben zu modernisieren. Ich mag Harry Potter wirklich. Trotz der Tatsache, dass er unter sehr schwierigen Bedingungen aufwuchs, brach sein Herz nicht. Er hat nie aufgegeben und immer versucht, Menschen zu helfen. Ich denke, wir können viel lernen. Ich habe keine magischen Kräfte wie Harry Potter. Ich muss mich nur bemühen, mein Leben zu verbessern. Es ist schwer zu vergleichen, welches Leben für mich besser war - mit oder ohne Vision. Aber jetzt kann ich sagen - ich bin sehr glücklich.

In diesem Video spricht Asakawa Chieko darüber, was für sie am wichtigsten ist und wie Technologie blinden Menschen helfen kann.

Asakawa ist nicht nur ein hervorragender Ingenieur und Entwickler. Sie ist nicht nur ein Vorbild für Menschen mit Behinderungen, sondern auch für diejenigen, die nicht auf ähnliche Schwierigkeiten gestoßen sind. Sie können niemals aufgeben, Sie können niemals aufhören, an sich selbst und Ihren Verstand zu glauben. Vielleicht wird Ihnen das Ergebnis nicht gefallen, wenn Sie die Ziellinie Ihrer Arbeit erreichen. Es kann nicht so hervorragend sein, wie Sie möchten. Aber wenn Sie auf halbem Weg aufgeben oder Angst haben, diesen Weg zu gehen, wird es überhaupt kein Ergebnis geben.

Alexandra Moysilovich



Um der Gesellschaft zu nützen, ist es nicht immer notwendig, etwas Neues zu erfinden oder zu entwickeln oder das Alte zu verbessern. Manchmal ist es notwendig, dieses Leben zu analysieren, um das Leben der Gesellschaft zu verbessern.

Alexandra Moysilovich wurde 1968 in Belgrad (damals Jugoslawien) geboren. Als Kind wollte Alexandra Künstlerin werden. Ihre Eltern reagierten zurückhaltend auf solche Pläne, aber streng:

Mein Vater sagte mir, dass ich jeder werden kann. Aber wenn ich mittellos bin, muss ich sicher sein, dass sie meine Rechnungen nicht bezahlen müssen.

Es war ein sehr undurchsichtiger Hinweis darauf, dass der Künstler hungrig sein wird und Sie einen anderen Weg wählen müssen. Alexandra besaß einen forschenden Verstand und gute Kenntnisse in den exakten Wissenschaften und trat in die Fakultät für Elektrotechnik an der Universität von Belgrad ein. 1992 erhielt sie nach nur 2 Jahren einen Bachelor-Abschluss und einen Master-Abschluss. Diese Jahre waren für Alexandra und alle ihre Landsleute aufgrund der politischen und wirtschaftlichen Krise des Landes schwierig.


Vom Beschuss betroffene Wohngebäude (Stadt Sarajevo)

Ich bin in einem Land aufgewachsen, das es nicht mehr gibt. Die Situation war sehr schwierig. Manchmal gab es kein Gas, Strom, Wasser oder sogar Essen. Diese Zeit bestimmte, was ich in Zukunft sein werde. Im Allgemeinen machte er mich fröhlicher (das Leben wertschätzend) und stark.

Ein Wendepunkt im Leben von Alexandra war ihre Doktorarbeit, die sie 1997 erfolgreich verteidigte. Ihre Arbeit wurde durch die sogenannte "Computer Vision" beschrieben. Alexandra wollte einem Computer beibringen, Bilder oder vielmehr Röntgenstrahlen zu sehen und zu analysieren, um die sichtbaren Symptome von Krebs zu bestimmen. Wer hätte gedacht, dass ihre Arbeit von Wissenschaftlern auf der anderen Seite der Welt wahrgenommen wird, nämlich von Wissenschaftlern der Bell Labs (Bell Labs). 1998 wurde sie zu Bell Labs eingeladen und zog in die USA. Dann arbeitete sie bis 2000. Nicht ohne Enttäuschungen. Ihre Arbeit über Computer Vision stieß bei allen auf reges Interesse, wurde aber schnell vergessen. Als Alexandra erkannte, dass sie es zu diesem Zeitpunkt allein nicht umsetzen konnte, wechselte sie zu einer anderen, nicht weniger komplexen und wichtigen Arbeit, nämlich der Analyse von Big Data. Ein solches Konzept wie „Data Science“ oder „Datenanalyse (Berechnung / Verarbeitung)“ gab es damals einfach nicht. Im Jahr 2000 lud IBM Alexandra in ein Forschungszentrum ein, in dem sie bis heute arbeitet.


Alphabet der Wissenschaft: Buchstabe D = Daten. Alexandra Moysilovich spricht über die Bedeutung von Daten und deren Verwendung

Alexandra Moysilovich ist derzeit Leiterin der AI Foundations am Thomas Watson Research Center in Yorktown Heights, New York. Diese Abteilung befasst sich mit maschinellem Lernen, mehrdimensionaler Signalverarbeitung und Mustererkennung. Und vor allem durch die Anwendung dieser Technologien auf verschiedene Bereiche der Gesellschaft: Gesundheitswesen, Finanzmodellierung, Geschäftsanalyse, Biometrie usw.

Moysilovich ist außerdem Co-Direktor des IBM Science for Social Good-Projekts, das auf den effizientesten Einsatz moderner Technologien bei der Verbesserung der Gesellschaft abzielt.


Alexandra Moysilovich, „Datenanalyse zum Wohle der Gesellschaft“

Alexandra Moysilovich analysiert nicht nur die Daten, sie erstellt auch immer mehr neue Methoden für diesen Prozess. Je genauer, schneller und besser die Analyse durchgeführt wird, desto effizienter wird es sein, die Ergebnisse zu verwenden. Alexandra hat bereits 15 Patente auf diesem Gebiet, und dies ist eindeutig nicht die Grenze.

Daten sind in der Gesellschaft von großer Bedeutung. Sie umgeben uns jeden Tag, auch wenn wir nicht darüber nachdenken. Wenn wir die Daten verstehen, verstehen wir die Essenz.

Im Jahr 2006 kam eine Person auf mich zu und bat mich, verschiedene Unternehmen zu analysieren. Er wollte jemandem zeigen, dass Unternehmen, die in IT-Outsourcing investieren, besser sind als solche, die dies nicht tun. Nachdem wir eine Reihe von Daten analysiert hatten, konnten wir die Richtigkeit dieser Aussage beweisen. Die Analyseergebnisse sind leistungsfähiger als jede Werbekampagne.

Alexandra setzt das Thema der Bedeutung der Datenanalyse in einem Unternehmen fort und sagt Folgendes:

Stellen Sie sich vor, das Unternehmen hat den perfekten Mitarbeiter. Er macht alles pünktlich und kann selbst das hoffnungsloseste Projekt bewältigen. Wenn Sie sein persönliches mathematisches Modell anhand seiner Parameter erstellen, können Sie dieselben Mitarbeiter im Unternehmen auswählen.

Und Alexander musste eine ähnliche Analyse von Big Data durchführen und mathematische Modelle für mehr als 50.000 IBM Mitarbeiter erstellen.

Alexandras Beitrag zur Wissenschaft der Daten wurde mit zahlreichen Preisen ausgezeichnet, und IBM verlieh ihr den ehrenvollsten Titel für ihre Mitarbeiter - IBM Fellow.



Die Datenanalyse ist nicht der wichtigste Bereich der wissenschaftlichen Tätigkeit. Am häufigsten bleiben Wissenschaftler aus diesem Bereich im Schatten größerer, größerer und „lebendiger“ Projekte und Studien. Vergessen Sie jedoch nicht, dass jedes andere Projekt auf denselben Daten basiert, die analysiert werden müssen. Dieser Prozess ist für die Welt der Informationstechnologie ebenso wichtig wie Luft für den Menschen. Und die unglaublichen Werke von Alexandra Moysilovich, die an der Spitze der Datenwissenschaft steht, sind ein Beweis dafür.

Pascal Fung



Kann eine Maschine (Android oder Computer) eine Person auf emotionaler Ebene vollständig verstehen? Das erste, was ich beantworten möchte, ist nein. Das Auto hat keine Emotionen, wie kann sie sie verstehen? Allerdings denken nicht alle gleich.

Pascal Fung wurde 1966 in Shanghai (China) geboren. Ihre Eltern waren Künstler, und deshalb ist es logisch, dass sie sie von der Wiege an auf die Zukunft eines Kunstmenschen vorbereitet haben. Im Alter von 11 Jahren zog Fung 1977 mit seiner Mutter und seiner Schwester nach Hongkong. Diese Zeit war für alle Einwohner Chinas äußerst schwierig, da sich das Land gerade erst von den Folgen der "Kulturrevolution" zu erholen begann.


Fung war von Kunst umgeben, aber sie wählte die genauen Wissenschaften. Das Ganze steht in den Büchern, die sie in ihrer frühen Kindheit zu lesen begann. Science Fiction über unglaubliche Technologie, über die Zukunft, über Roboter drängte Pascal in Richtung Informatik.

Pascal erhielt eine Sekundarschulausbildung in Belilios, der ältesten Mädchenschule in Hongkong. In den Schuljahren organisierte sie zwei Kreise für Schüler: Elektronik und Astronomie. Laut Pascal Fung hat ihre Umgebung Mädchen, die nach Wissenschaft strebten, nicht stimuliert und nicht ermutigt. Daher war die nächste Bildungsstufe von Fung nicht in China, sondern in den Vereinigten Staaten. 1988 erhielt sie ihren Bachelor-Abschluss am Worcester Polytechnic Institute. Fünf Jahre später wurde sie Master of Computer Science an der Columbia University. Natürlich dachte niemand daran, damit aufzuhören, denn bereits 1997 wurde Fung Doktor der Wissenschaften.


Belilios Schulhaus

In jenen Tagen waren die Ideen von Pascal und ihre Ansichten über die Zukunft der Computerwelt für viele äußerst ungewöhnlich, futuristisch und sogar revolutionär. Egal was andere dort sagen, Fung arbeitete weiterhin auf ihrem Gebiet, nämlich auf dem Gebiet der Interaktion zwischen Maschine und Mensch. Die Hauptbereiche, die Pascal Fung in seiner Arbeit verwendet, sind die Verarbeitung natürlicher Sprache, Konversationssprachsysteme, das Erkennen von Emotionen und Stimmungen sowie prädiktive Analysen. Durch die Kombination dieser Bereiche können Sie intelligente Systeme erstellen, die eine Person nicht nur auf Sprachebene, sondern auch auf emotionaler Ebene verstehen können.

Wir reden mit Tieren. Es ist der Ton unserer Rede, der emotionale Hintergrund unserer Worte, der ihnen hilft, uns zu verstehen, auch ohne die Worte selbst zu verstehen. Daher ist der emotionale Hintergrund ein wichtiger Bestandteil der semantischen Repräsentation.

Während ihrer langen Karriere hat Pascal Fung einen großen Beitrag zur Entwicklung und Verbesserung eines so komplexen Bereichs der Informatik wie der Interaktion von Mensch und Maschine geleistet. Sie lernte immer noch 6 Sprachen parallel, was angesichts der Art ihres Berufs nicht überraschend ist. Derzeit forscht Fung als Professor an der Universität für Wissenschaft und Technologie in Hongkong weiter und verwaltet verschiedene Projekte. Einer von ihnen ist der "sprechende Kopf" des Android. Diese Maschine kann nicht nur die Sprache des Gesprächspartners erkennen, sondern auch seine Mikro-Gesichtsausdrücke sowie den emotionalen Hintergrund von Phrasen. Android kann sprechen und Emotionen zeigen, die der gesprochenen Phrase, dem Gesprächsthema oder den Emotionen des Gesprächspartners entsprechen.

Darüber hinaus ist Fung Leiter vieler Forschungsgruppen, die sich mit Robotik, dem Internet der Dinge und sogar Finanzanalysen befassen. Dank der Bemühungen von Fung, Sprachen und Technologien zu koppeln, wurde 2001 die erste Suchmaschine in chinesischer Sprache und 2010 der erste virtuelle Assistent für Smartphones in chinesischer Sprache veröffentlicht.


Professor Fung überreichte ihr eine Auszeichnung der Hong Kong Women Professionals and Entrepreneurs Association

Die enorme Arbeit von Fung auf dem Gebiet der Spracherkennung, der Implementierung emotionaler KI, der Ausweitung der Mensch-Maschine-Interaktion und vielem mehr wurde durch viele Ehrentitel und Auszeichnungen vermerkt. .



« » ( , , , ..), .


« »

- , , . . . , .





. , . «» . 50- .

12 1924 (). . (Yardleys School) . ( ) , , .


Yardleys

, , , , ---. :

, ( ) . , . , .

, . , , . . , . .

. — . , , , - .

. . , , , , , . . . ( ). , .




2 5 . . , . , .

1942 1944 , . . . , , . . (). , , , . , , 1947 .


, (1949 )

, - , . «Monthly Notes of the Royal Astronomical Society», . , .




:

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

, . . , . .

, 3 . . , . Nature « ».

, « »? .

. Brunsviga ( ).

Brunsviga Nova 13 ( — 1920)

, , . , , .

. I ( ) Ferranti Mark 1. , . — Ferranti Mark 1*.


( Ferranti Mark 1) (1950 )

. 40- . .

0 31 5- , /:

/E@A:SIU½DRJNFCKTZLWHYPQOBG»MXV£

Eine weitere Komplikation war der zweistufige Speicher. 8 Seiten Direktzugriffsspeicher auf Kathodenstrahlröhren und 512 Seiten Sekundärspeicher auf einer Magnettrommel. Jede Seite bestand aus 32 40-Bit-Wörtern, die auf einer CRT als 64 20-Bit-Zeilen angezeigt wurden.

All dies ist furchtbar schwierig - das Auto zum Laufen zu bringen. Aber wenn es funktioniert, treten Fehler auf, als ob jemand nicht versucht hätte, sie zu vermeiden. Die Diagnose dieser Fehler war unglaublich schwierig und zeitaufwändig. Der Programmierer musste sitzen und beobachten, wie der Computer jeweils eine Operation ausführte, um festzustellen, ob alles funktionierte oder etwas nicht stimmte. Dieser Prozess nahm wertvolle Zeit in Anspruch. Dann schlug der Projektmanager John Bennett Mary Woods vor, ein Programm zu schreiben, das den Speicherinhalt und einzelne Speicherzeilen in einem bestimmten Programm drucken kann, um die Notwendigkeit einer ständigen Überwachung des Computers zu beseitigen. Für Mary war es am schwierigsten, dieses Programm parallel zu gestalten, dh gleichzeitig mit dem Ziel der Diagnose (dem Hauptprogramm) zu arbeiten, ohne sie zu stören. Gleichzeitig war im Hauptspeicher nur sehr wenig Platz. Mary schrieb unter anderem ein Programm, mit dem 40 Gleichungen gleichzeitig gelöst werden konnten, was zu dieser Zeit sehr viel war.


Mary Woods mit ihrem Ehemann Conway Berners-Lee (1954)

Neben der Programmierung hat sich Woods immer für die Rechte der Frauen eingesetzt. Sie stellte fest, dass Projektmitarbeiter weniger Gehalt erhalten als Mitarbeiter, obwohl die Arbeit gleich, wenn nicht schwieriger und in gleicher Höhe erledigt wird. Mary wollte eine solche Haltung nicht tolerieren, protestierte und beschwerte sich bei der Personalabteilung. Ihre Anforderungen an die Gehaltsanpassung wurden genehmigt.

Mary Woods arbeitete bis 1955 am Ferranti-Projekt, danach ging sie in den Ruhestand. Sie wollte sich Zeit mit ihrer Familie und ihrem neugeborenen Sohn nehmen. Ein so guter Spezialist bleibt jedoch auch innerhalb der Hauswände nicht ohne Arbeit. Zahlreiche kleine und große Projekte wandten sich an sie, um Hilfe zu erhalten. So wurde Mary eine der ersten Freiberuflerinnen, die Programmieraufträge erfüllte, ohne das Haus zu verlassen.


Sir Timothy John Berners-Lee, Sohn von Mary Woods und Schöpfer des World Wide Web

Mary sprach immer eher bescheiden über ihre Programmierkenntnisse und Beiträge zu dieser Wissenschaft. Mit allem und ihrem Sohn war sie jedoch immer bereit, sich zu rühmen. Und das ist nicht zufällig, da Mary Woods die Mutter von Tim Berners-Lee ist - dem Mann, der das World Wide Web geschaffen hat.

Mein größter Verdienst ist es, die Großmutter des Internets zu sein.

Mary Woods ist ein Paradebeispiel dafür, wie man seinem Herzen folgt. Wenn Sie (zum Beispiel) Chemiker werden möchten, wird Sie keine andere, auch nicht die unterhaltsamste Aktivität glücklich machen. Sie werden es immer bereuen, dass Sie nicht dem von Ihnen gewählten Weg gefolgt sind.

Eine kurze Audioaufnahme, in der Mary Woods über Programmierung spricht

Marta Kwiatkowska



Manchmal werden zur Suche nach Fehlern weit entfernt von den meisten Standardmethoden benötigt.

Marta Kwiatkowska wurde am 26. Februar 1957 in Polen geboren. Marta erhielt ihre Hochschulausbildung an der Jagiellonen-Universität, der ältesten Universität der Stadt Krakau. Sie erhielt sofort einen Bachelor- und Master-Abschluss in Informatik. Als Studentin war sie äußerst fähig, wie die Tatsache zeigt, dass sie mit dem Abzeichen „summa cum laude“ (mit der höchsten Wertschätzung) ausgezeichnet wurde, was die höchste Note im polnischen Wissensbewertungssystem bedeutet.


Gebäude der Universität von Leicester

1989 verteidigte Marta ihre Promotion an der University of Leicester (England). Im Laufe der Jahre lehrte Kwiatkowska an verschiedenen Universitäten auf der ganzen Welt. Sie erhielt jedoch nicht nur dafür öffentliche Anerkennung.

Als Forscherin widmete sich Kwiatkowska der Untersuchung, Modellierung und Verifizierung probabilistischer Systeme. Sowie die Schaffung neuer Modelle Testtechniken.

Die harte Arbeit von Martha und ihrem Team führte zum probabilistischen symbolischen Verifizierer PRISM. ( Bericht über PRISM )

PRISM ist ein formales Verifizierungsprogramm * zur Modellierung und Analyse von Systemen mit probabilistischen Merkmalen. Der Ursprung solcher Systeme kann die Verwendung eines probabilistischen Algorithmus (Randomisierung) in den Bluetooth-Kommunikationsprotokollen oder in Sicherheitsprotokollen (zum Beispiel Crowds oder Onion Routing) sein. Systeme, die mit PRISM analysiert werden können, umfassen auch biochemische Reaktionen (Metabolismus).

Mit PRISM kann man die Markov-Kette (mit diskreter Zeit und kontinuierlicher Zeit), den Markov-Entscheidungsprozess und probabilistische Erweiterungen der Formalisierung eines temporären Automaten analysieren.



Ein weiteres Merkmal von PRISM ist Open Source. Jeder kann sich mit dem Code dieser Software befassen. In den Jahren 2013 und 2014 nahm PRISM am Google Summer of Code teil (Google organisiert einen jährlichen Wettbewerb, bei dem die Teilnehmer bestimmte Aufgaben im Rahmen eines Open-Source-Projekts ausführen. Der Gewinner erhält bis zu 50.000 US-Dollar, und das Projekt selbst kostet 500 US-Dollar für jeden Teilnehmer).


Arbeitsumgebung PRISM

Wenn Sie interessiert sind, was PRISM ist und wie es in der Nähe funktioniert, können Sie sowohl das Programm als auch den Code über den Link herunterladen.

PRISM war das erste formale Verifizierungsinstrument seiner Art und der Goldstandard für die spätere Entwicklung und Forschung in diesem Bereich.

Die Schaffung von PRISM ist zwar eine herausragende Arbeit, aber keineswegs die einzige in Marta Kvyatkovskayas Karriere.



Es überrascht nicht, dass Martha bei dieser Liste von Werken viele Preise und Auszeichnungen erhielt. Derzeit lehrt Marta neben ihrer Forschung an der Universität Oxford, wo sie Professorin für Informatik ist.


Marta Kwiatkowska mit ihren Schülern (2016)

Marta Kwiatkowska leitet derzeit das vom Europäischen Forschungsrat geförderte Projekt Mobile Autonomy, das 2020 enden soll.


Marta Kwiatkowska spricht über mobile autonome Roboter

Leider konnte ich keine Informationen darüber finden, was Marta auf den Weg der Informatik gebracht hat. Aber was auch immer es war, es war nicht umsonst. Ein herausragender Verstand, die Fähigkeit, bestimmte kausale Zusammenhänge zu analysieren und zu identifizieren, und eine „Prise“ kreativer Herangehensweise ermöglichten es Martha, großartige Dinge zu schaffen, an die sie sich zu Recht noch sehr lange erinnern wird.

Nachwort

Es ist traurig, dass die wichtigen Forschungen, Innovationen, Entdeckungen und Entwicklungen der meisten Wissenschaftler nur in einem sehr engen Personenkreis bekannt sind. Obwohl wir die Auswirkungen ihrer Arbeit jeden Tag spüren, weil unser Leben jetzt untrennbar mit der Technologie, insbesondere der Computertechnologie, verbunden ist. Jeder Wissenschaftler, sei es eine Frau oder ein Mann, bleibt in erster Linie ein Wissenschaftler - eine Person mit einem forschenden Verstand und dem Wunsch zu verstehen, was und wie funktioniert, um sich zu verbessern und zu schaffen. Was auch immer Ihnen gesagt wird, wenn Sie zum Wohl der Gesellschaft bauen wollen, wenn Sie sich der Welt der Wissenschaft widmen wollen, handeln Sie. Gib nicht auf und gehe weiter auf das Ziel zu. Der Weg mag lang und kurvenreich sein, aber je schwieriger er ist, desto heller werden die Gefühle bei seiner Vollendung sein. Entdecken, denken und kreieren.

Vielen Dank für Ihren Aufenthalt bei uns. Gefällt dir unser Artikel? Möchten Sie weitere interessante Materialien sehen? Unterstützen Sie uns, indem Sie eine Bestellung aufgeben oder Ihren Freunden empfehlen, einen Rabatt von 30% für Habr-Benutzer auf ein einzigartiges Analogon von Einstiegsservern, das wir für Sie erfunden haben: Die ganze Wahrheit über VPS (KVM) E5-2650 v4 (6 Kerne) 10 GB DDR4 240 GB SSD 1 Gbit / s von $ 20 oder wie teilt man den Server? (Optionen sind mit RAID1 und RAID10, bis zu 24 Kernen und bis zu 40 GB DDR4 verfügbar).

Dell R730xd 2 mal günstiger? Nur wir haben 2 x Intel Dodeca-Core Xeon E5-2650v4 128 GB DDR4 6 x 480 GB SSD 1 Gbit / s 100 TV von 249 US-Dollar in den Niederlanden und den USA! Lesen Sie mehr über den Aufbau eines Infrastrukturgebäudes. Klasse mit Dell R730xd E5-2650 v4 Servern für 9.000 Euro für einen Cent?