Nancy Lynch
http://dbpedia.org/resource/Nancy_Lynch an entity of type: Thing
نانسي لينش (بالإنجليزية: Nancy Lynch) (و. 1948 م) هي عَالِمَة حاسوب، وأستاذ جامعي أمريكية، ولدت في بروكلين، وهي عضوةٌ في الأكاديمية الأمريكية للفنون والعلوم، والأكاديمية الوطنية للهندسة، ورابطة مكائن الحوسبة.
rdf:langString
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.
rdf:langString
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.
rdf:langString
ナンシー・アン・リンチ （英語:Nancy Ann Lynch, 1948年1月19日-）はMIT教授。科のソフトウェア科学・工学NEC冠教授でありMITの計算機科学と人工知能研究所（CSAIL）の分散システム理論研究グループ長を務める。 分散アルゴリズムとその不可能性（impossibility result）について、また形式的モデル化（formal modeling）と分散システムの妥当性確認（validation）について（例えば参照）の多数の研究論文を著している。大学院レベルの教科書Distributed Algorithmsの著者でもある。米国科学アカデミー、米国工学アカデミーに所属し、ACMフェローに選出されている。 ブルックリン出身。ニューヨーク市立大学ブルックリン校とMITで数学を専攻し、Ph.D.をの指導の下1972年に取得する。タフツ大学、 南カリフォルニア大学、ジョージア工科大学などで数学とコンピュータ科学のファカルティ職を歴任した後、1982年にMITに着任する。以後複雑分散システムの理解と構築に向けた応用数学を研究している。
rdf:langString
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.
rdf:langString
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.
rdf:langString
Ненсі Енн Лінч (англ. Nancy Ann Lynch; нар. 19 січня 1948) — американська математик, теоретик та професорка Массачусетського технологічного інституту.
rdf:langString
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.
rdf:langString
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.
rdf:langString
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.
rdf:langString
Нэнси Энн Линч (англ. Nancy Ann Lynch; род. 19 января 1948) — американский учёный, профессор компьютерных науки и инженерии Массачусетского технологического института, известная прежде всего — обобщением автоматов Мили на распределённые алгоритмы, позволяющим формально демонстрировать их корректность с помощью иерархических доказательств. На сегодняшний день существует много разновидностей автоматов ввода-вывода: , , вероятностных и динамических, все созданы самой Линч и её сотрудниками. Последними на 2016 год были предложены динамические автоматы ввода-вывода, моделирующие динамические системы и позволяющие создавать и уничтожать автоматы по мере вычисления, что существенно повышает их и приближает формализм к современному программному обеспечению. Динамические автоматы ввода-вывода мог
rdf:langString
rdf:langString
نانسي لينش
rdf:langString
Nancy Lynch
rdf:langString
Nancy Lynch
rdf:langString
Nancy Lynch
rdf:langString
Nancy Lynch
rdf:langString
Nancy Lynch
rdf:langString
Nancy Lynch
rdf:langString
ナンシー・リンチ
rdf:langString
Nancy Lynch
rdf:langString
Линч, Нэнси Энн
rdf:langString
Ненсі Лінч
rdf:langString
Nancy Lynch
rdf:langString
Nancy Lynch
rdf:langString
Brooklyn, NY
xsd:date
1948-01-19
xsd:integer
2387489
xsd:integer
1086426062
rdf:langString
Relativization of the Theory of Computational Complexity
xsd:integer
1972
rdf:langString
ACM Fellow
rdf:langString
IEEE Emanuel R. Piore Award
rdf:langString
Member, National Academy of Engineering
rdf:langString
Member, National Academy of Sciences
rdf:langString
Knuth Prize
rdf:langString
Dijkstra Prize
rdf:langString
Van Wijngaarden Award
xsd:date
1948-01-19
rdf:langString
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.
rdf:langString
نانسي لينش (بالإنجليزية: Nancy Lynch) (و. 1948 م) هي عَالِمَة حاسوب، وأستاذ جامعي أمريكية، ولدت في بروكلين، وهي عضوةٌ في الأكاديمية الأمريكية للفنون والعلوم، والأكاديمية الوطنية للهندسة، ورابطة مكائن الحوسبة.
rdf:langString
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.
rdf:langString
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.
rdf:langString
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.
rdf:langString
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.
rdf:langString
ナンシー・アン・リンチ （英語:Nancy Ann Lynch, 1948年1月19日-）はMIT教授。科のソフトウェア科学・工学NEC冠教授でありMITの計算機科学と人工知能研究所（CSAIL）の分散システム理論研究グループ長を務める。 分散アルゴリズムとその不可能性（impossibility result）について、また形式的モデル化（formal modeling）と分散システムの妥当性確認（validation）について（例えば参照）の多数の研究論文を著している。大学院レベルの教科書Distributed Algorithmsの著者でもある。米国科学アカデミー、米国工学アカデミーに所属し、ACMフェローに選出されている。 ブルックリン出身。ニューヨーク市立大学ブルックリン校とMITで数学を専攻し、Ph.D.をの指導の下1972年に取得する。タフツ大学、 南カリフォルニア大学、ジョージア工科大学などで数学とコンピュータ科学のファカルティ職を歴任した後、1982年にMITに着任する。以後複雑分散システムの理解と構築に向けた応用数学を研究している。
rdf:langString
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.
rdf:langString
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.
rdf:langString
Нэнси Энн Линч (англ. Nancy Ann Lynch; род. 19 января 1948) — американский учёный, профессор компьютерных науки и инженерии Массачусетского технологического института, известная прежде всего — обобщением автоматов Мили на распределённые алгоритмы, позволяющим формально демонстрировать их корректность с помощью иерархических доказательств. На сегодняшний день существует много разновидностей автоматов ввода-вывода: , , вероятностных и динамических, все созданы самой Линч и её сотрудниками. Последними на 2016 год были предложены динамические автоматы ввода-вывода, моделирующие динамические системы и позволяющие создавать и уничтожать автоматы по мере вычисления, что существенно повышает их и приближает формализм к современному программному обеспечению. Динамические автоматы ввода-вывода могут объединяться в иерархическую систему, запускаться параллельно, переименовывать и скрывать события, порождать новые автоматы и поддерживать монотонность через семантическую типизацию (если заменить фрагмент автомата на другой, поддерживающий только подмножество последовательностей событий исходного, то на уровне всей системы это может привести только с уменьшению множества возможных последовательностей событий). Кроме заметного вклада в теорию автоматов, Нэнси Линч написала несколько книг, среди которых — известный учебник по распределённым алгоритмам, на данный момент слегка устаревший и всё ещё использующийся в учебном процессе, но вытесняемый, например, учебником , предлагающей более современный и свежий взгляд на эту быстро развивающуюся область. Диссертация Нэнси Линч называлась «Релятивизация теории вычислительной сложности» (англ. Relativization of the Theory of Computational Complexity, 1972). Линч является автором и соавтором более 100 журнальных и почти 200 конференционных статей. Она руководила как минимум 28 успешно защитившимися аспирантами. Она также входит в список членов Национальной академии наук США (с 2016), Национальной инженерной академии США (с 2001) и Ассоциации вычислительной техники (с 1997) и лауреатом ряда престижных академических премий.
rdf:langString
Ненсі Енн Лінч (англ. Nancy Ann Lynch; нар. 19 січня 1948) — американська математик, теоретик та професорка Массачусетського технологічного інституту.
xsd:nonNegativeInteger
8386