| rdfs:comment
| - نانسي لينش (بالإنجليزية: Nancy Lynch) (و. 1948 م) هي عَالِمَة حاسوب، وأستاذ جامعي أمريكية، ولدت في بروكلين، وهي عضوةٌ في الأكاديمية الأمريكية للفنون والعلوم، والأكاديمية الوطنية للهندسة، ورابطة مكائن الحوسبة. (ar)
- 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. (fr)
- 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. (en)
- ナンシー・アン・リンチ （英語:Nancy Ann Lynch, 1948年1月19日-）はMIT教授。科のソフトウェア科学・工学NEC冠教授でありMITの計算機科学と人工知能研究所（CSAIL）の分散システム理論研究グループ長を務める。 分散アルゴリズムとその不可能性（impossibility result）について、また形式的モデル化（formal modeling）と分散システムの妥当性確認（validation）について（例えば参照）の多数の研究論文を著している。大学院レベルの教科書Distributed Algorithmsの著者でもある。米国科学アカデミー、米国工学アカデミーに所属し、ACMフェローに選出されている。 ブルックリン出身。ニューヨーク市立大学ブルックリン校とMITで数学を専攻し、Ph.D.をの指導の下1972年に取得する。タフツ大学、 南カリフォルニア大学、ジョージア工科大学などで数学とコンピュータ科学のファカルティ職を歴任した後、1982年にMITに着任する。以後複雑分散システムの理解と構築に向けた応用数学を研究している。 (ja)
- 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. (it)
- 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. (pt)
- Ненсі Енн Лінч (англ. Nancy Ann Lynch; нар. 19 січня 1948) — американська математик, теоретик та професорка Массачусетського технологічного інституту. (uk)
- 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. (ca)
- 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. (de)
- 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)
- Нэнси Энн Линч (англ. Nancy Ann Lynch; род. 19 января 1948) — американский учёный, профессор компьютерных науки и инженерии Массачусетского технологического института, известная прежде всего — обобщением автоматов Мили на распределённые алгоритмы, позволяющим формально демонстрировать их корректность с помощью иерархических доказательств. На сегодняшний день существует много разновидностей автоматов ввода-вывода: , , вероятностных и динамических, все созданы самой Линч и её сотрудниками. Последними на 2016 год были предложены динамические автоматы ввода-вывода, моделирующие динамические системы и позволяющие создавать и уничтожать автоматы по мере вычисления, что существенно повышает их и приближает формализм к современному программному обеспечению. Динамические автоматы ввода-вывода мог (ru)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)