Линч, Нэнси Энн

В Википедии есть статьи о других людях с фамилией Линч.
Нэнси Энн Линч
англ. Nancy Ann Lynch
Дата рождения 19 января 1948(1948-01-19)[1] (76 лет)
Место рождения
Страна  США
Род деятельности специалист в области информатики, преподаватель университета, математик
Научная сфера информатика
Место работы Тафтс, Юж. Калифорния, Джорджия, Массачусетс
Альма-матер Массачусетский технологический институт
Учёная степень доктор философии
Учёное звание профессор
Научный руководитель А. Р. да Сильва Майер[англ.]
Известна как автор автоматов ввода-вывода
Награды и премии Премия Пиора (2010)[2]
Премия Дейкстры (2001, 2007)
Премия Кнута (2007)
Премия ван Вейнгаардена (2006)
Сайт people.csail.mit.edu/lyn…

Нэнси Энн Линч (англ. Nancy Ann Lynch; род. 19 января 1948) — американский учёный, профессор компьютерных науки и инженерии Массачусетского технологического института, известная прежде всего автоматами ввода-вывода[англ.] — обобщением автоматов Мили на распределённые алгоритмы, позволяющим формально демонстрировать их корректность с помощью иерархических доказательств[3]. На сегодняшний день существует много разновидностей автоматов ввода-вывода: временны́х[англ.], гибридных[англ.], вероятностных и динамических[4], все созданы самой Линч и её сотрудниками. Последними на 2016 год были предложены динамические автоматы ввода-вывода, моделирующие динамические системы и позволяющие создавать и уничтожать автоматы по мере вычисления, что существенно повышает их выразительность[англ.] и приближает формализм к современному программному обеспечению. Динамические автоматы ввода-вывода могут объединяться в иерархическую систему, запускаться параллельно, переименовывать и скрывать события, порождать новые автоматы и поддерживать монотонность через семантическую типизацию (если заменить фрагмент автомата на другой, поддерживающий только подмножество последовательностей событий исходного, то на уровне всей системы это может привести только с уменьшению множества возможных последовательностей событий)[5].

Кроме заметного вклада в теорию автоматов, Нэнси Линч написала несколько книг, среди которых — известный учебник по распределённым алгоритмам[6], на данный момент слегка устаревший и всё ещё использующийся в учебном процессе, но вытесняемый, например, учебником В. Фоккинка[7], предлагающей более современный и свежий взгляд на эту быстро развивающуюся область.

Диссертация Нэнси Линч называлась «Релятивизация теории вычислительной сложности» (англ. Relativization of the Theory of Computational Complexity, 1972)[8]. Линч является автором и соавтором более 100 журнальных и почти 200 конференционных статей[9]. Она руководила как минимум 28 успешно защитившимися аспирантами[8]. Она также входит в список членов Национальной академии наук США (с 2016)[10], Национальной инженерной академии США (с 2001)[11] и Ассоциации вычислительной техники (с 1997)[12] и лауреатом ряда престижных академических премий.

Примечания

  1. ↑ Nancy Lynch // SNAC (англ.) — 2010.
  2. ↑ IEEE Emanuel R. Piore Award Recipients. IEEE. Дата обращения: 31 декабря 2010. Архивировано из оригинала 24 ноября 2010 года.
  3. ↑ Nancy A. Lynch, Mark R. Tuttle, Hierarchical Correctness Proofs for Distributed Algorithms. PODC 1987: 137—151.
  4. ↑ Nancy A. Lynch, Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic, …, CONCUR 2003: 187—188.
  5. ↑ Paul C. Attie, Nancy A. Lynch, Dynamic input/output automata: A formal and compositional model for dynamic systems. Inf. Comput. 249: 28-75 (2016) (препринт Архивная копия от 6 июля 2022 на Wayback Machine)
  6. ↑ Nancy A. Lynch, Distributed Algorithms. Morgan Kaufmann 1996, ISBN 1-55860-348-4.
  7. ↑ Wan Fokkink, Distributed Algorithms: An Intuitive Approach, MIT Press, 2013. ISBN 0-262-02677-5
  8. ↑ 1 2 Nancy Ann Lynch Архивная копия от 22 января 2017 на Wayback Machine на Mathematics Genealogy Project.
  9. ↑ Nancy A Lynch Архивная копия от 11 июня 2016 на Wayback Machine на DBLP.
  10. ↑ Nancy A. Lynch Архивная копия от 24 марта 2019 на Wayback Machine  (англ.)
  11. ↑ NAE Members Directory - Dr. Nancy A. Lynch. NAE. Дата обращения: 31 декабря 2010. Архивировано 8 апреля 2019 года.
  12. ↑ Nancy A Lynch – Award Winner. Association for Computing Machinery. Дата обращения: 31 октября 2013. Архивировано 25 декабря 2016 года.

Read other articles:

At-Takhashash, Mekkah

At-TakhashashLingkunganNegara Arab SaudiProvinsiProvinsi MekkahKotaMekkahZona waktuUTC+3 (EAT) • Musim panas (DST)UTC+3 (EAT) At-Takhashash adalah sebuah lingkungan di kota suci Mekkah di Provinsi Mekkah, tepatnya di sebelah barat Arab Saudi. Referensi lbs MakkahSejarah Garis waktu Quraisy Kenabian Muhammad Muhammad di Makkah Penaklukan Makkah Rasyidin Umayyah Kekhalifahan Ibnu Zubair Pengepungan Makkah (683) Abbasiyah Mamluk Kairo Kesultanan Utsmaniyah Revolusi Arab Kerajaan...

 

Konflik kepentingan

Untuk kebijakan Wikipedia mengenai konflik kepentingan, lihat Wikipedia:Konflik kepentingan. Salah satu aturan untuk menghindari konflik kepentingan, pejabat publik dilarang untuk menyalahgunakan wewenang serta mengambil keuntungan pribadi atau kelompok dengan cara menjadi penyambung kepentingan. Larangan tersebut dimuat dalam PP No. 53 Tahun 2010.[1] Konflik kepentingan harus dihindari oleh pejabat publik dikarenakan mampu mempengaruhi netralitas dan kualitas dalam penentuan kebijaka...

 

Strada statale 16 bis Adriatica

Questa voce sull'argomento strade d'Italia è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Voce principale: Strada statale 16 Adriatica. Strada statale 16 bisAdriatica Strada regionale 16 bis AdriaticaLocalizzazioneStato Italia Regioni Abruzzo Province Pescara DatiClassificazioneStrada statale InizioSpoltore FineMontesilvano Lunghezza19,030 km Data apertura1941 Provvedimento di istituzioneR.D. 483 del 03/04/1941 - G.U. 138 del 14/06/194...

Formigliana

Formigliana commune di Italia Tempat Negara berdaulatItaliaRegion di ItaliaPiedmontProvinsi di ItaliaProvinsi Vercelli NegaraItalia Ibu kotaFormigliana PendudukTotal498  (2023 )GeografiLuas wilayah16,76 km² [convert: unit tak dikenal]Ketinggian157 m Berbatasan denganCarisio Casanova Elvo Villarboit Balocco Santhià SejarahSanto pelindungVictor Maurus (en) Informasi tambahanKode pos13030 Zona waktuUTC+1 UTC+2 Kode telepon0161 ID ISTAT002059 Kode kadaster ItaliaD712 Lain-lainSitus we...

 

Muhammad al-Barādeʿī

Questa voce o sezione deve essere rivista e aggiornata appena possibile. Sembra infatti che questa voce contenga informazioni superate e/o obsolete. Se puoi, contribuisci ad aggiornarla. Muhammad Mustafā al-Barādeʿī Vicepresidente dell'Egitto (ad interim)Durata mandato9 luglio 2013 –14 agosto 2013 PresidenteAdli Mansur (ad interim) Vice presidenteGeorge Isaac PredecessoreMahmoud Mekki Successorecarica abolita Leader del Partito della CostituzioneDurata mandato28...

 

Weather with You

1992 single by Crowded House This article is about the 1992 single by Crowded House. For the Jimmy Buffett album, see Take the Weather with You. For the animated romantic fantasy film, see Weathering with You. Weather with YouSingle by Crowded Housefrom the album Woodface Released17 February 1992 (1992-02-17)[1]StudioPeriscope (Melbourne)Length3:45LabelCapitolSongwriter(s)Neil Finn, Tim FinnProducer(s)Mitchell Froom, Neil FinnCrowded House singles chronology It's Only N...

Morogoro

MorogoroMunicipalityMji kasoro bahariPanorama MorogoroMorogoroLokasi MorogoroTampilkan peta TanzaniaMorogoroMorogoro (Afrika)Tampilkan peta AfrikaKoordinat: 06°49′27″S 37°39′48″E / 6.82417°S 37.66333°E / -6.82417; 37.66333Koordinat: 06°49′27″S 37°39′48″E / 6.82417°S 37.66333°E / -6.82417; 37.66333CountryTanzaniaDaerahDaerah MorogoroDistrikDistrik Urban MorogoroLuas[1] • Total360 km2 (140 sq&#...

 

尤睦佳·泽登巴尔

尤睦佳·泽登巴尔Юмжаагийн Цэдэнбал1970年代时的尤睦佳·泽登巴尔蒙古人民革命党中央委员会总书记任期1958年11月22日—1984年8月24日前任达希·丹巴（第一书记）继任姜巴·巴特蒙赫任期1940年4月8日—1954年4月4日前任达希·丹巴（第一书记）继任达希·丹巴（第一书记）蒙古人民共和國部長會議主席任期1952年1月26日—1974年6月11日前任霍尔洛·乔巴山继任姜巴·巴特蒙赫�...

 

1924–25 Yale Bulldogs men's ice hockey season

College ice hockey season 1924–25 Yale Bulldogs men's ice hockey seasonEastern Collegiate, ChampionTriangular League, Champion Conference1st THLHome iceWoodbridge RinkRecordOverall14–1–1Conference4–1–0Home1–0–1Road7–1–0Neutral6–0–0Coaches and captainsHead coachClarence WanamakerAssistant coachesHolcomb YorkCaptain(s)Alston JenkinsYale Bulldogs men's ice hockey seasons« 1923–24 1925–26 » The 1924–25 Yale Bulldogs men's ice hockey season was the 30th s...

Terminal peti kemas

Penumpukan peti kemas di Keppel Container Terminal Singapura. Terminal peti kemas adalah terminal dimana dilakukan pengumpulan peti kemas dari hinterland ataupun pelabuhan lainnya untuk selanjutnya diangkut ke tempat tujuan ataupun terminal peti kemas (Unit Terminal Container disingkat secara umum UTC) yang lebih besar lagi. Perkembangan di Indonesia Terminal peti kemas (UTC) pertama di Indonesia terletak di Pelabuhan III Timur Tanjung Priok, Jakarta. Peresmian pengoperasiannya pada tanggal 2...

 

General Atomics XQ-67A

Unmanned combat aircraft demonstrator built by General Atomics XQ-67A XQ-67A first flight Role Unmanned combat aerial vehicle, loyal wingmanType of aircraft Manufacturer General Atomics Aeronautical Systems First flight 28 February 2024 Status Under development Primary user United States Air Force The General Atomics XQ-67A is a developmental unmanned combat aerial vehicle (UAV) built by General Atomics Aeronautical Systems (GA-ASI) for the United States Air Force Off-Board Sensing Stati...

 

Confederate Memorial Hall

For other uses, see Confederate Memorial Hall (disambiguation). Brownstone townhouse in Washington, D.C.Confederate Memorial Hall(former name)Confederate Memorial Hall, with flag, in 1997Alternative namesConfederate EmbassyGeneral informationStatusClosed and building sold to pay fines. Converted into four apartments.TypeBrownstone townhouseAddress1322 Vermont AvenueTown or cityWashington, D.C.Coordinates32°54′32″N 77°01′51″W / 32.9089°N 77.0308°W / 32.9089;...

Nights in Andalusia

1938 film Nights in AndalusiaDirected byHerbert MaischWritten byFlorián Rey Philipp Lothar Mayring Fred AndreasBased onCarmen by Prosper MériméeProduced byArtur Kiekebusch-Brenken Friedrich PflughauptStarringImperio Argentina Friedrich Benfer Karl KlüsnerCinematographyReimar KuntzeEdited byAnna HölleringMusic byJuan Mostaza-Murales José Muñoz MolledaProductioncompaniesCarl Froelich-Film Hispano FilmproduktionDistributed byUFARelease date 5 July 1938 (1938-07-05) Running ...

 

2014 Tequila Patrón Sports Car Showcase

Third round of the 2014 United SportsCar Championship season Long Beach Street Circuit The 2014 Tequila Patrón Sports Car Showcase at Long Beach was a sports car race held on the Long Beach Street Circuit in California, United States, on 11–12 April 2014 as part of the Long Beach Grand Prix event weekend. The race was the third round of the inaugural Tudor United SportsCar Championship season and held exclusively for the Prototype and GT Le Mans categories, the first such event in the hist...

 

Sam Tevi

Sam TeviNazionalità Stati Uniti Altezza198 cm Peso141 kg Football americano RuoloOffensive tackle Squadra Indianapolis Colts CarrieraGiovanili 2013-2016 Utah Utes Squadre di club 2017-2020 Los Angeles Chargers2021- Indianapolis Colts StatistichePartite58 Partite da titolare44 Statistiche aggiornate al 20 maggio 2021 Modifica dati su Wikidata · Manuale Samiuela Tevi (Euless, 15 novembre 1994) è un giocatore di football americano statunitense che milita nel ...

The People Trap

Short story collection by Robert Sheckley Cover of the first edition. The People Trap (full title The People Trap and other Pitfalls, Snares, Devices and Delusions, as Well as Two Sniggles and a Contrivance) is a collection of science fiction short stories by American writer Robert Sheckley. It was first published in 1968 by Dell. Stories It includes the following stories (magazines in which the stories originally appeared given in parentheses): The People Trap (The Magazine of Fantasy & ...

 

Diocesi di Altoona-Johnstown

Diocesi di Altoona-JohnstownDioecesis Altunensis-JohnstoniensisChiesa latinaSuffraganea dell'arcidiocesi di Filadelfia   Provincia ecclesiastica Collocazione geografica  VescovoMark Leonard Bartchak Presbiteri170, di cui 96 secolari e 74 regolari425 battezzati per presbitero Religiosi92 uomini, 57 donne Diaconi39 permanenti  Abitanti636.000 Battezzati72.250 (11,4% del totale) StatoStati Uniti d'America Superficie17.279 km² Parrocchie87  Erezione30 maggio 1901 Ritoromano C...

 

Women's Organization of Iran

Women's Organization of Iran (WOI) var en organisation för kvinnors rättigheter i Iran, grundad 1966.[1] [2] Historik På 1950-talet var Irans kvinnorörelse splittrad i många små föreningar efter upplösningen av Kanoun-e-Banovan 1937. Det fanns ett behov i kvinnorörelsen att förena sig för att uppnå sina mål. Samtidigt fanns det också ett behov hos den kungliga regimen att ta kontroll över kvinnorörelsen i egenskap av politisk rörelse. År 1959 formade shahens syster Ashraf Pa...

Ossètes

Cet article concerne le peuple ossète. Pour la langue ossète, voir Ossète. Pour l’article ayant un titre homophone, voir O7. Ossètes Une jeune fille ossète vêtue de façon traditionnelle. Photo de la première partie du XXe siècle. Populations importantes par région Russie 528 515 (2010)[1] • Ossétie-du-Nord-Alanie 445 310 (2010) Ossétie du Sud-Alanie 45 000 (2007)[2] Géorgie (en dehors de l'Ossétie du Sud) 38 028 (2002) Turquie 100 000[réf....

 

レオポルト1世 (アンハルト＝デッサウ侯)

レオポルト1世Leopold I. アンハルト＝デッサウ侯 在位 1693年 - 1747年出生 (1676-07-03) 1676年7月3日 神聖ローマ帝国アンハルト＝デッサウ侯領、デッサウ死去 (1747-04-09) 1747年4月9日（70歳没） 神聖ローマ帝国アンハルト＝デッサウ侯領、デッサウ配偶者 アンナ・ルイーゼ・フェーゼ子女 一覧参照家名 アスカーニエン家父親 アンハルト＝デッサウ侯ヨハン・ゲオルク2世母親 ヘ�...