Ленор Цук

Ленор Д. Цук
Ленор Д. Цук
Рожденный	1958 ; Тель-Авив, Израиль
Альма-матер	Технион – Израильский технологический институт, Научный институт Вейцмана
Известный	Формальные методы в разработке программного обеспечения, Конфиденциальность информации
	Научная карьера
Поля	Информатика
Учреждения	Университет Иллинойса, Чикаго
Докторантура	Амир Пнуэли

Ленор Д. Цук (род. 1958) — израильско-американский ученый-компьютерщик, чьи исследования включают формальные методы разработки программного обеспечения , а также конфиденциальность информации . ^[1] Она является профессором-исследователем информатики в Иллинойском университете в Чикаго . ^[2]

Образование и карьера

Цук родился в Тель-Авиве в 1958 году и получил степень бакалавра в 1979 году в Технионе – Израильском технологическом институте . Она поступила в Институт Вейцмана в аспирантуру по информатике, получив степень магистра в 1983 году. ^[3] и доктор философии. в 1987 году. ^[4] Ее докторская диссертация «Прошлое временная логика » касалась темпоральной логики и была написана под руководством Амира Пнуэли . ^[5]

Она была доцентом кафедры информатики в Йельском университете . ^[4] а затем в Нью-Йоркском университете , прежде чем в начале 2000-х переехать в Иллинойский университет в Чикаго. ^[6]

Избранные публикации

Лихтенштейн, Орна; Пнуэли, Амир ; Цук, Ленор Д. (1985), «Слава прошлого», в Парихе, Рохите (редактор), Логика программ, Конференция, Бруклинский колледж, Нью-Йорк, Нью-Йорк, США, 17-19 июня 1985 г., Труды , Конспекты лекций по информатике, вып. 193, Springer, стр. 196–218, номер документа : 10.1007/3-540-15648-8_16.
Халперн, Джозеф Ю .; Цук, Ленор Д. (1992), «Немного знаний имеет большое значение: выводы, основанные на знаниях, и доказательства правильности для семейства протоколов», Journal of the ACM , 39 (3): 449–478, doi : 10.1145/ 146637.146638 , S2CID 52149700
Пнуэли, Амир ; Цук, Ленор Д. (1993), «Вероятностная проверка», Information and Computation , 103 (1): 1–29, doi : 10.1006/inco.1993.1012 , MR 1213090
Афек, Иегуда ; Аттия, Хагит ; Фекете, Алан Д.; Фишер, Майкл Дж .; Линч, Нэнси А .; Мансур, Ишай; Ван, Да-Вэй; Цук, Ленор Д. (1994), «Надежная связь по ненадежным каналам», Журнал ACM , 41 (6): 1267–1297, doi : 10.1145/195613.195651 , S2CID 8784721
Каррьеро, Николас; Гелернтер, Дэвид ; Цук, Ленор Д. (1994), «Баухаус Линда», в Чианкарини, Паоло; Ньерстраз, Оскар; Йонезава, Акинори (ред.), Объектно-ориентированные модели и языки для параллельных систем, Семинар ECOOP'94 по моделям и языкам для координации параллелизма и распределения, Болонья, Италия, 5 июля 1994 г., Избранные статьи , Конспекты лекций по информатике , том. 924, Springer, стр. 66–76, номер документа : 10.1007/3-540-59450-7_5.
Пнуэли, Амир ; Руах, Ситванит; Цук, Ленор Д. (2001), «Автоматическая дедуктивная проверка с невидимыми инвариантами», в Маргарии, Тициана ; Йи, Ван (ред.), Инструменты и алгоритмы для построения и анализа систем, 7-я международная конференция TACAS 2001, проводимая в рамках совместных европейских конференций по теории и практике программного обеспечения, ETAPS 2001 Генуя, Италия, 2–6 апреля. , 2001, Труды , Конспекты лекций по информатике, вып. 2031, Springer, стр. 82–97, номер документа : 10.1007/3-540-45319-9_7.
Пнуэли, Амир ; Сюй, Джесси; Цук, Ленор Д. (2002), «Живость с (0, 1, ∞)-контрабстракцией », в Brinksma, Ed; Ларсен, Ким Гулдстранд (ред.), Компьютерная проверка, 14-я Международная конференция, CAV 2002, Копенгаген, Дания, 27–31 июля 2002 г., Труды , Конспекты лекций по информатике, том. 2404, Springer, стр. 107–122, номер документа : 10.1007/3-540-45657-0_9.

Ссылки

^ «Конфиденциальность в эпоху больших данных» , Институт Discovery Partners , Университет Иллинойса , получено 21 марта 2023 г.
^ «Ленор Цук» , Профили , Информатика Чикагского университета Иллинойса , получено 21 марта 2023 г.
^ Биография автора из Пнуэли, Амир; Цук, Ленор (март 1986 г.), «Верификация многопроцессных вероятностных протоколов», Distributed Computing , 1 (1): 53–72, doi : 10.1007/bf01843570 , S2CID 1317942
^ Jump up to: ^а ^б Справочник для выпускников: факультет Йельского университета в области компьютерных наук, 1997–1998 гг ., получено 21 марта 2023 г.
^ Ленор Цук в проекте «Математическая генеалогия»
^ «Ленор Цук: проверка микрокода» , объявление о выступлении , Университет Карнеги-Меллона, 21 октября 2005 г. , получено 21 марта 2023 г.

Внешние ссылки

Домашняя страница
Публикации Ленор Цук , проиндексированные Google Scholar

[privacy-1] «Конфиденциальность в эпоху больших данных» , Институт Discovery Partners , Университет Иллинойса , получено 21 марта 2023 г.

[uic-2] «Ленор Цук» , Профили , Информатика Чикагского университета Иллинойса , получено 21 марта 2023 г.

[abio-3] Биография автора из Пнуэли, Амир; Цук, Ленор (март 1986 г.), «Верификация многопроцессных вероятностных протоколов», Distributed Computing , 1 (1): 53–72, doi : 10.1007/bf01843570 , S2CID 1317942

[yale-4] Jump up to: ^а ^б Справочник для выпускников: факультет Йельского университета в области компьютерных наук, 1997–1998 гг ., получено 21 марта 2023 г.

[mg-5] Ленор Цук в проекте «Математическая генеалогия»

[cmu-6] «Ленор Цук: проверка микрокода» , объявление о выступлении , Университет Карнеги-Меллона, 21 октября 2005 г. , получено 21 марта 2023 г.

[1]

[2]

[3]

[4]

[5]

[6]

Базы данных авторитетного контроля
International	VIAF WorldCat
National	Germany Israel United States Czech Republic
Academics	DBLP Google Scholar MathSciNet Mathematics Genealogy Project