| Birthplace
|
http://dbpedia.org/resource/Brooklyn +
|
| http://dbpedia.org/ontology/abstract
|
Nancy A. Lynch (1948) es una profesora del … Nancy A. Lynch (1948) es una profesora del Instituto Tecnológico de Massachusetts (MIT). Es una Profesora NEC de Ingeniería de software en el Departamento de Ingeniería Eléctrica y Ciencias de Computación (EECS), y la cabeza del grupo de investigación de Teoría de Sistemas Distribuidos en el Laboratorio de Inteligencia Artificial y Ciencias de la Computación en el MIT. Es autora de numerosos artículos de investigación sobre algoritmos distribuidos y resultados de imposibilidad, y sobre modelamiento formal y validación de sistemas distribuidos. También es la autora de los libros "Transacciones Atómicas" y "Algoritmos Distribuidos". Finalmente, es miembro de la National Academy of Engineering, y parte de la ACM. Nancy Lynch se estudió matemáticas en el Brooklyn College y en el MIT. Impartió clases en las facultades de matemática y ciencias de computación de muchas otras universidades, incluyendo la Universidad Tufts, la Universidad del Sur de California y el Instituto Tecnológico de Georgia, antes de establecerse en la facultad del MIT en 1982. Desde entonces, Lynch ha trabajado en matemática aplicada a tareas de comprensión y construcción de sistemas distribuidos complejos.ucción de sistemas distribuidos complejos.
, Nancy Ann Lynch (1948) é uma informática e … Nancy Ann Lynch (1948) é uma informática estadunidense. É professora do Instituto de Tecnologia de Massachusetts (MIT). Detém a cadeira NEC de Ciência do Software e Engenharia do Departamento de Engenharia Eletrônica e Ciência da Computação e dirige o grupo de pesquisas sobre Teoria de Sistemas Distribuidos do Laboratório de Ciência da Computação e Inteligência Artificial do MIT.mputação e Inteligência Artificial do MIT.
, Nancy A. Lynch (1948) és una professora de … Nancy A. Lynch (1948) és una professora de l'Institut Tecnològic de Massachusetts (MIT). És una Professora NEC d'Enginyeria de programari en el Departament d'Enginyeria Elèctrica i Ciències de Computació (EECS) i la cap del grup de recerca de Teoria de Sistemes Distribuïts en el Laboratori d'Intel·ligència Artificial i Ciències de la Computació en el MIT. És autora de nombrosos articles de recerca sobre algorismes distribuïts i resultats d'impossibilitat i sobre modelament formal i validació de sistemes distribuïts. També és l'autora dels llibres "Transaccionis Atòmiques" i "Algorismes Distribuïts". Finalment, és membre de la National Academy of Engineering, i part de l'ACM. Nancy Lynch es va estudiar matemàtiques en el Brooklyn College i en el MIT. Va impartir classes en les facultats de matemàtica i ciències de computació de moltes altres universitats, incloent la Universitat Tufts, la Universitat del Sud de Califòrnia i l'Institut Tecnològic de Geòrgia, abans d'establir-se en la facultat del MIT en 1982. Des de llavors, Lynch ha treballat en matemàtiques aplicades a tasques de comprensió i construcció de sistemes distribuïts complexos.trucció de sistemes distribuïts complexos.
, نانسي لينش (بالإنجليزية: Nancy Lynch) (و. 1948 م) هي عَالِمَة حاسوب، وأستاذ جامعي أمريكية، ولدت في بروكلين، وهي عضوةٌ في الأكاديمية الأمريكية للفنون والعلوم، والأكاديمية الوطنية للهندسة، ورابطة مكائن الحوسبة.
, Nancy Ann Lynch, née en 1948, est une chercheuse américaine en informatique, professeur au MIT. Elle dirige le groupe de recherche sur la théorie des systèmes distribués. Elle a obtenu le prix Knuth en 2007 et le prix Dijkstra en 2001 et 2007.
, Ненсі Енн Лінч (англ. Nancy Ann Lynch; нар. 19 січня 1948) — американська математик, теоретик та професорка Массачусетського технологічного інституту.
, ナンシー・アン・リンチ （英語:Nancy Ann Lynch, 1948年1月19 … ナンシー・アン・リンチ （英語:Nancy Ann Lynch, 1948年1月19日-）はMIT教授。科のソフトウェア科学・工学NEC冠教授でありMITの計算機科学と人工知能研究所（CSAIL）の分散システム理論研究グループ長を務める。 分散アルゴリズムとその不可能性（impossibility result）について、また形式的モデル化（formal modeling）と分散システムの妥当性確認（validation）について（例えば参照）の多数の研究論文を著している。大学院レベルの教科書Distributed Algorithmsの著者でもある。米国科学アカデミー、米国工学アカデミーに所属し、ACMフェローに選出されている。 ブルックリン出身。ニューヨーク市立大学ブルックリン校とMITで数学を専攻し、Ph.D.をの指導の下1972年に取得する。タフツ大学、 南カリフォルニア大学、ジョージア工科大学などで数学とコンピュータ科学のファカルティ職を歴任した後、1982年にMITに着任する。以後複雑分散システムの理解と構築に向けた応用数学を研究している。にMITに着任する。以後複雑分散システムの理解と構築に向けた応用数学を研究している。
, Нэнси Энн Линч (англ. Nancy Ann Lynch; род … Нэнси Энн Линч (англ. Nancy Ann Lynch; род. 19 января 1948) — американский учёный, профессор компьютерных науки и инженерии Массачусетского технологического института, известная прежде всего — обобщением автоматов Мили на распределённые алгоритмы, позволяющим формально демонстрировать их корректность с помощью иерархических доказательств. На сегодняшний день существует много разновидностей автоматов ввода-вывода: , , вероятностных и динамических, все созданы самой Линч и её сотрудниками. Последними на 2016 год были предложены динамические автоматы ввода-вывода, моделирующие динамические системы и позволяющие создавать и уничтожать автоматы по мере вычисления, что существенно повышает их и приближает формализм к современному программному обеспечению. Динамические автоматы ввода-вывода могут объединяться в иерархическую систему, запускаться параллельно, переименовывать и скрывать события, порождать новые автоматы и поддерживать монотонность через семантическую типизацию (если заменить фрагмент автомата на другой, поддерживающий только подмножество последовательностей событий исходного, то на уровне всей системы это может привести только с уменьшению множества возможных последовательностей событий). Кроме заметного вклада в теорию автоматов, Нэнси Линч написала несколько книг, среди которых — известный учебник по распределённым алгоритмам, на данный момент слегка устаревший и всё ещё использующийся в учебном процессе, но вытесняемый, например, учебником , предлагающей более современный и свежий взгляд на эту быстро развивающуюся область. Диссертация Нэнси Линч называлась «Релятивизация теории вычислительной сложности» (англ. Relativization of the Theory of Computational Complexity, 1972). Линч является автором и соавтором более 100 журнальных и почти 200 конференционных статей. Она руководила как минимум 28 успешно защитившимися аспирантами. Она также входит в список членов Национальной академии наук США (с 2016), Национальной инженерной академии США (с 2001) и Ассоциации вычислительной техники (с 1997) и лауреатом ряда престижных академических премий.атом ряда престижных академических премий.
, Nancy Ann Lynch (born January 19, 1948) is … Nancy Ann Lynch (born January 19, 1948) is a mathematician, a theorist, and a professor at the Massachusetts Institute of Technology. She is the NEC Professor of Software Science and Engineering in the EECS department and heads the "Theory of Distributed Systems" research group at MIT's Computer Science and Artificial Intelligence Laboratory.ce and Artificial Intelligence Laboratory.
, Nancy Lynch (Brooklyn, 19 gennaio 1948) è … Nancy Lynch (Brooklyn, 19 gennaio 1948) è una matematica e informatica statunitense, docente di scienze e ingegneria del software del Massachusetts Institute of Technology. Inoltre è a capo del gruppo di ricerca sulla teoria dei sistemi distribuiti presso il laboratorio di informatica e intelligenza artificiale del MIT.matica e intelligenza artificiale del MIT.
, Nancy Ann Lynch (* 19. Januar 1948 in Broo … Nancy Ann Lynch (* 19. Januar 1948 in Brooklyn) ist eine US-amerikanische Informatikerin und Hochschullehrerin. Nancy Lynch studierte Mathematik am Brooklyn College und wurde 1972 am Massachusetts Institute of Technology bei Albert Ronald da Silva Meyer promoviert (Relativization in the theory of computational complexity). Danach war sie an der Tufts University, der University of Southern California und Georgia Tech, bevor sie 1982 wieder ans MIT ging. Sie ist dort NEC Professor for Software Science and Engineering und leitet die Forschungsabteilung Verteilte Systeme an der Fakultät für Informatik und Elektrotechnik. Lynch gilt als anerkannte Expertin für Verteiltes Rechnen und verteilte Systeme (Distributed Systems). 2001 und 2007 erhielt sie den Dijkstra-Preis, 2006 den Wijngaarden Preis, 2007 den Knuth-Preis und 2010 den IEEE Emanuel R. Piore Award. Seit 2001 ist sie Mitglied der National Academy of Engineering, seit 2010 der American Academy of Arts and Sciences und seit 2016 der National Academy of Sciences. Außerdem ist sie Fellow der Association for Computing Machinery. Im Februar 2022 betrug ihr H-Index 78.ry. Im Februar 2022 betrug ihr H-Index 78.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Computer_science +
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/MIT +
, http://dbpedia.org/resource/Brooklyn_College +
|
| http://dbpedia.org/ontology/award
|
http://dbpedia.org/resource/IEEE_Emanuel_R._Piore_Award +
, http://dbpedia.org/resource/National_Academy_of_Engineering +
, http://dbpedia.org/resource/ACM_Fellow +
, http://dbpedia.org/resource/Dijkstra_Prize +
, http://dbpedia.org/resource/National_Academy_of_Sciences +
, http://dbpedia.org/resource/Knuth_Prize +
, http://dbpedia.org/resource/Van_Wijngaarden_Award +
|
| http://dbpedia.org/ontology/birthDate
|
"1948-01-19"^^xsd:date
|
| http://dbpedia.org/ontology/doctoralAdvisor
|
http://dbpedia.org/resource/Albert_R._Meyer +
|
| http://dbpedia.org/ontology/doctoralStudent
|
http://dbpedia.org/resource/Cal_Newport +
, http://dbpedia.org/resource/George_Varghese +
|
| http://dbpedia.org/ontology/knownFor
|
http://dbpedia.org/resource/Distributed_systems +
|
| http://dbpedia.org/ontology/nationality
|
http://dbpedia.org/resource/United_States +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.lynchcelebration.org/ +
, https://archive.org/details/distributedalgor0000lync%7Curl-access=registration%7Cdate=1998%7Cpublisher=Kaufmann%7Clocation=San +
, https://archive.org/details/atomictransactio0000unse/page/476 +
, http://theory.lcs.mit.edu/~lynch/ +
|
| http://dbpedia.org/ontology/wikiPageID
|
2387489
|
| http://dbpedia.org/ontology/wikiPageLength
|
8386
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1086426062
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Brooklyn_College +
, http://dbpedia.org/resource/Mike_Paterson +
, http://dbpedia.org/resource/Distributed_systems +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Knuth_Prize +
, http://dbpedia.org/resource/Florida_International_University +
, http://dbpedia.org/resource/Category:Dijkstra_Prize_laureates +
, http://dbpedia.org/resource/PODC_Influential-Paper_Award +
, http://dbpedia.org/resource/Brooklyn +
, http://dbpedia.org/resource/Category:Georgia_Tech_faculty +
, http://dbpedia.org/resource/Category:21st-century_American_scientists +
, http://dbpedia.org/resource/Category:Members_of_the_United_States_National_Academy_of_Sciences +
, http://dbpedia.org/resource/Category:American_women_computer_scientists +
, http://dbpedia.org/resource/Michael_J._Fischer +
, http://dbpedia.org/resource/Van_Wijngaarden_Award +
, http://dbpedia.org/resource/Category:21st-century_American_women +
, http://dbpedia.org/resource/Ph.D. +
, http://dbpedia.org/resource/Category:1948_births +
, http://dbpedia.org/resource/National_Academy_of_Sciences +
, http://dbpedia.org/resource/Georgia_Institute_of_Technology +
, http://dbpedia.org/resource/Category:Theoretical_computer_scientists +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery +
, http://dbpedia.org/resource/National_Academy_of_Engineering +
, http://dbpedia.org/resource/Albert_R._Meyer +
, http://dbpedia.org/resource/IEEE_Emanuel_R._Piore_Award +
, http://dbpedia.org/resource/University_of_Southern_California +
, http://dbpedia.org/resource/Category:Brooklyn_College_alumni +
, http://dbpedia.org/resource/Tufts_University +
, http://dbpedia.org/resource/Category:MIT_School_of_Engineering_faculty +
, http://dbpedia.org/resource/Category:Members_of_the_United_States_National_Academy_of_Engineering +
, http://dbpedia.org/resource/MIT +
, http://dbpedia.org/resource/Jennifer_Welch +
, http://dbpedia.org/resource/Dijkstra_Paper_Prize +
, http://dbpedia.org/resource/Massachusetts_Institute_of_Technology +
, http://dbpedia.org/resource/George_Varghese +
, http://dbpedia.org/resource/Category:Researchers_in_distributed_computing +
, http://dbpedia.org/resource/Category:20th-century_American_scientists +
, http://dbpedia.org/resource/ACM_Fellow +
, http://dbpedia.org/resource/Consensus_%28computer_science%29 +
, http://dbpedia.org/resource/Computer_science +
, http://dbpedia.org/resource/Category:American_computer_scientists +
, http://dbpedia.org/resource/Symposium_on_Principles_of_Distributed_Computing +
, http://dbpedia.org/resource/Category:Massachusetts_Institute_of_Technology_alumni +
, http://dbpedia.org/resource/Category:Knuth_Prize_laureates +
, http://dbpedia.org/resource/Dijkstra_Prize +
, http://dbpedia.org/resource/Electrical_Engineering_and_Computer_Science +
, http://dbpedia.org/resource/Input/output_automaton +
, http://dbpedia.org/resource/Cal_Newport +
|
| http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/MIT +
, http://dbpedia.org/resource/Brooklyn_College +
|
| http://dbpedia.org/property/awards
|
Knuth Prize
, Van Wijngaarden Award
, Member, National Academy of Sciences
, Dijkstra Prize
, Member, National Academy of Engineering
, IEEE Emanuel R. Piore Award
, ACM Fellow
|
| http://dbpedia.org/property/birthDate
|
"1948-01-19"^^xsd:date
|
| http://dbpedia.org/property/birthPlace
|
Brooklyn, NY
|
| http://dbpedia.org/property/doctoralAdvisor
|
http://dbpedia.org/resource/Albert_R._Meyer +
|
| http://dbpedia.org/property/doctoralStudents
|
http://dbpedia.org/resource/Cal_Newport +
, http://dbpedia.org/resource/George_Varghese +
|
| http://dbpedia.org/property/field
|
http://dbpedia.org/resource/Computer_science +
|
| http://dbpedia.org/property/knownFor
|
http://dbpedia.org/resource/Distributed_systems +
|
| http://dbpedia.org/property/name
|
Nancy Lynch
|
| http://dbpedia.org/property/thesisTitle
|
Relativization of the Theory of Computational Complexity
|
| http://dbpedia.org/property/thesisYear
|
1972
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Cite_web +
, http://dbpedia.org/resource/Template:Small +
, http://dbpedia.org/resource/Template:Knuth_Prize_laureates +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Birth_date_and_age +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Cite_book +
, http://dbpedia.org/resource/Template:Worldcat_id +
, http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:US-academic-bio-stub +
|
| http://dbpedia.org/property/workInstitutions
|
http://dbpedia.org/resource/University_of_Southern_California +
, http://dbpedia.org/resource/Tufts_University +
, http://dbpedia.org/resource/Florida_International_University +
, http://dbpedia.org/resource/Georgia_Institute_of_Technology +
, http://dbpedia.org/resource/MIT +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:21st-century_American_scientists +
, http://dbpedia.org/resource/Category:American_computer_scientists +
, http://dbpedia.org/resource/Category:Dijkstra_Prize_laureates +
, http://dbpedia.org/resource/Category:Members_of_the_United_States_National_Academy_of_Sciences +
, http://dbpedia.org/resource/Category:Brooklyn_College_alumni +
, http://dbpedia.org/resource/Category:MIT_School_of_Engineering_faculty +
, http://dbpedia.org/resource/Category:Knuth_Prize_laureates +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Category:Researchers_in_distributed_computing +
, http://dbpedia.org/resource/Category:Members_of_the_United_States_National_Academy_of_Engineering +
, http://dbpedia.org/resource/Category:21st-century_American_women +
, http://dbpedia.org/resource/Category:Theoretical_computer_scientists +
, http://dbpedia.org/resource/Category:20th-century_American_scientists +
, http://dbpedia.org/resource/Category:Georgia_Tech_faculty +
, http://dbpedia.org/resource/Category:1948_births +
, http://dbpedia.org/resource/Category:Massachusetts_Institute_of_Technology_alumni +
, http://dbpedia.org/resource/Category:American_women_computer_scientists +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Professor +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/113611002 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Nancy_Lynch?oldid=1086426062&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Nancy_Lynch +
|
| http://xmlns.com/foaf/0.1/name
|
Nancy Lynch
|
| owl:sameAs |
http://www.wikidata.org/entity/Q11779 +
, https://global.dbpedia.org/id/DZjx +
, https://orcid.org/0000-0003-3045-265X +
, http://ru.dbpedia.org/resource/%D0%9B%D0%B8%D0%BD%D1%87%2C_%D0%9D%D1%8D%D0%BD%D1%81%D0%B8_%D0%AD%D0%BD%D0%BD +
, http://dbpedia.org/resource/Nancy_Lynch +
, http://d-nb.info/gnd/109022446X +
, https://dblp.org/pid/l/NancyALynch +
, http://rdf.freebase.com/ns/m.078dwh +
, http://arz.dbpedia.org/resource/%D9%86%D8%A7%D9%86%D8%B3%D9%89_%D9%84%D9%8A%D9%86%D8%B4 +
, http://ta.dbpedia.org/resource/%E0%AE%A8%E0%AE%BE%E0%AE%A9%E0%AF%8D%E0%AE%9A%E0%AE%BF_%E0%AE%B2%E0%AE%BF%E0%AE%A9%E0%AF%8D%E0%AE%9A%E0%AF%8D +
, http://de.dbpedia.org/resource/Nancy_Lynch +
, http://it.dbpedia.org/resource/Nancy_Lynch +
, http://viaf.org/viaf/113611002 +
, http://d-nb.info/gnd/121919625 +
, http://es.dbpedia.org/resource/Nancy_Lynch +
, http://yago-knowledge.org/resource/Nancy_Lynch +
, http://ja.dbpedia.org/resource/%E3%83%8A%E3%83%B3%E3%82%B7%E3%83%BC%E3%83%BB%E3%83%AA%E3%83%B3%E3%83%81 +
, http://ast.dbpedia.org/resource/Nancy_Lynch +
, http://sk.dbpedia.org/resource/Nancy_Lynchov%C3%A1 +
, http://oc.dbpedia.org/resource/Nancy_Lynch +
, http://ca.dbpedia.org/resource/Nancy_Lynch +
, http://data.bibliotheken.nl/id/thes/p109501292 +
, http://ar.dbpedia.org/resource/%D9%86%D8%A7%D9%86%D8%B3%D9%8A_%D9%84%D9%8A%D9%86%D8%B4 +
, http://uk.dbpedia.org/resource/%D0%9D%D0%B5%D0%BD%D1%81%D1%96_%D0%9B%D1%96%D0%BD%D1%87 +
, http://pt.dbpedia.org/resource/Nancy_Lynch +
, http://fr.dbpedia.org/resource/Nancy_Lynch +
, http://sw.dbpedia.org/resource/Nancy_Lynch +
|
| rdf:type |
http://dbpedia.org/class/yago/Adult109605289 +
, http://dbpedia.org/class/yago/WikicatAmericanInformationTheorists +
, http://dbpedia.org/class/yago/WikicatWomen +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/class/yago/WikicatWomenComputerScientists +
, http://dbpedia.org/class/yago/Acquirer109764201 +
, http://www.wikidata.org/entity/Q901 +
, http://dbpedia.org/class/yago/WikicatDijkstraPrizeLaureates +
, http://dbpedia.org/class/yago/WikicatResearchersInDistributedComputing +
, http://dbpedia.org/class/yago/Associate109816771 +
, http://dbpedia.org/class/yago/ResearchWorker110523076 +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/ontology/Scientist +
, http://dbpedia.org/class/yago/WikicatKnuthPrizeLaureates +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/class/yago/WikicatLivingPeople +
, http://dbpedia.org/class/yago/Honoree110183757 +
, http://dbpedia.org/ontology/Eukaryote +
, http://dbpedia.org/class/yago/ComputerUser109951274 +
, http://dbpedia.org/class/yago/ComputerScientist109951070 +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/ontology/Animal +
, http://dbpedia.org/class/yago/WikicatFellowsOfTheAssociationForComputingMachinery +
, http://www.wikidata.org/entity/Q19088 +
, http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/class/yago/WikicatComputerScientists +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://www.wikidata.org/entity/Q5 +
, http://dbpedia.org/class/yago/Theorist110706812 +
, http://dbpedia.org/class/yago/WikicatAmericanPeople +
, http://www.wikidata.org/entity/Q729 +
, http://dbpedia.org/class/yago/Laureate110249011 +
, http://schema.org/Person +
, http://dbpedia.org/class/yago/Intellectual109621545 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/Woman110787470 +
, http://dbpedia.org/class/yago/Female109619168 +
, http://dbpedia.org/class/yago/Peer109626238 +
, http://dbpedia.org/class/yago/Colleague109935990 +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/WikicatAmericanComputerScientists +
, http://dbpedia.org/class/yago/Recipient109627906 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
|
| rdfs:comment |
Нэнси Энн Линч (англ. Nancy Ann Lynch; род … Нэнси Энн Линч (англ. Nancy Ann Lynch; род. 19 января 1948) — американский учёный, профессор компьютерных науки и инженерии Массачусетского технологического института, известная прежде всего — обобщением автоматов Мили на распределённые алгоритмы, позволяющим формально демонстрировать их корректность с помощью иерархических доказательств. На сегодняшний день существует много разновидностей автоматов ввода-вывода: , , вероятностных и динамических, все созданы самой Линч и её сотрудниками. Последними на 2016 год были предложены динамические автоматы ввода-вывода, моделирующие динамические системы и позволяющие создавать и уничтожать автоматы по мере вычисления, что существенно повышает их и приближает формализм к современному программному обеспечению. Динамические автоматы ввода-вывода могию. Динамические автоматы ввода-вывода мог
, ナンシー・アン・リンチ （英語:Nancy Ann Lynch, 1948年1月19 … ナンシー・アン・リンチ （英語:Nancy Ann Lynch, 1948年1月19日-）はMIT教授。科のソフトウェア科学・工学NEC冠教授でありMITの計算機科学と人工知能研究所（CSAIL）の分散システム理論研究グループ長を務める。 分散アルゴリズムとその不可能性（impossibility result）について、また形式的モデル化（formal modeling）と分散システムの妥当性確認（validation）について（例えば参照）の多数の研究論文を著している。大学院レベルの教科書Distributed Algorithmsの著者でもある。米国科学アカデミー、米国工学アカデミーに所属し、ACMフェローに選出されている。 ブルックリン出身。ニューヨーク市立大学ブルックリン校とMITで数学を専攻し、Ph.D.をの指導の下1972年に取得する。タフツ大学、 南カリフォルニア大学、ジョージア工科大学などで数学とコンピュータ科学のファカルティ職を歴任した後、1982年にMITに着任する。以後複雑分散システムの理解と構築に向けた応用数学を研究している。にMITに着任する。以後複雑分散システムの理解と構築に向けた応用数学を研究している。
, Nancy A. Lynch (1948) és una professora de … Nancy A. Lynch (1948) és una professora de l'Institut Tecnològic de Massachusetts (MIT). És una Professora NEC d'Enginyeria de programari en el Departament d'Enginyeria Elèctrica i Ciències de Computació (EECS) i la cap del grup de recerca de Teoria de Sistemes Distribuïts en el Laboratori d'Intel·ligència Artificial i Ciències de la Computació en el MIT.ial i Ciències de la Computació en el MIT.
, Nancy Ann Lynch, née en 1948, est une chercheuse américaine en informatique, professeur au MIT. Elle dirige le groupe de recherche sur la théorie des systèmes distribués. Elle a obtenu le prix Knuth en 2007 et le prix Dijkstra en 2001 et 2007.
, Nancy A. Lynch (1948) es una profesora del … Nancy A. Lynch (1948) es una profesora del Instituto Tecnológico de Massachusetts (MIT). Es una Profesora NEC de Ingeniería de software en el Departamento de Ingeniería Eléctrica y Ciencias de Computación (EECS), y la cabeza del grupo de investigación de Teoría de Sistemas Distribuidos en el Laboratorio de Inteligencia Artificial y Ciencias de la Computación en el MIT.al y Ciencias de la Computación en el MIT.
, نانسي لينش (بالإنجليزية: Nancy Lynch) (و. 1948 م) هي عَالِمَة حاسوب، وأستاذ جامعي أمريكية، ولدت في بروكلين، وهي عضوةٌ في الأكاديمية الأمريكية للفنون والعلوم، والأكاديمية الوطنية للهندسة، ورابطة مكائن الحوسبة.
, Nancy Ann Lynch (* 19. Januar 1948 in Broo … Nancy Ann Lynch (* 19. Januar 1948 in Brooklyn) ist eine US-amerikanische Informatikerin und Hochschullehrerin. Nancy Lynch studierte Mathematik am Brooklyn College und wurde 1972 am Massachusetts Institute of Technology bei Albert Ronald da Silva Meyer promoviert (Relativization in the theory of computational complexity). Danach war sie an der Tufts University, der University of Southern California und Georgia Tech, bevor sie 1982 wieder ans MIT ging. Sie ist dort NEC Professor for Software Science and Engineering und leitet die Forschungsabteilung Verteilte Systeme an der Fakultät für Informatik und Elektrotechnik.akultät für Informatik und Elektrotechnik.
, Nancy Ann Lynch (born January 19, 1948) is … Nancy Ann Lynch (born January 19, 1948) is a mathematician, a theorist, and a professor at the Massachusetts Institute of Technology. She is the NEC Professor of Software Science and Engineering in the EECS department and heads the "Theory of Distributed Systems" research group at MIT's Computer Science and Artificial Intelligence Laboratory.ce and Artificial Intelligence Laboratory.
, Nancy Lynch (Brooklyn, 19 gennaio 1948) è … Nancy Lynch (Brooklyn, 19 gennaio 1948) è una matematica e informatica statunitense, docente di scienze e ingegneria del software del Massachusetts Institute of Technology. Inoltre è a capo del gruppo di ricerca sulla teoria dei sistemi distribuiti presso il laboratorio di informatica e intelligenza artificiale del MIT.matica e intelligenza artificiale del MIT.
, Nancy Ann Lynch (1948) é uma informática e … Nancy Ann Lynch (1948) é uma informática estadunidense. É professora do Instituto de Tecnologia de Massachusetts (MIT). Detém a cadeira NEC de Ciência do Software e Engenharia do Departamento de Engenharia Eletrônica e Ciência da Computação e dirige o grupo de pesquisas sobre Teoria de Sistemas Distribuidos do Laboratório de Ciência da Computação e Inteligência Artificial do MIT.mputação e Inteligência Artificial do MIT.
, Ненсі Енн Лінч (англ. Nancy Ann Lynch; нар. 19 січня 1948) — американська математик, теоретик та професорка Массачусетського технологічного інституту.
|
| rdfs:label |
Линч, Нэнси Энн
, Nancy Lynch
, Ненсі Лінч
, ナンシー・リンチ
, نانسي لينش
|
