✖


Jump to content

Патрик Линкольн

Патрик Линкольн
Рожденный 1964
Альма-матер Массачусетский технологический институт
Стэнфордский университет
Известный Компьютерная безопасность , Формальная проверка , Вычислительная биология , Нанотехнологии
Награды Международный научный сотрудник НИИ 2005 г.
Научная карьера
Поля Информатика
Учреждения НИИ Международный
Докторантура Джон Митчелл

Патрик Денис Линкольн (род. 1964) — американский ученый-компьютерщик, возглавляющий Лабораторию компьютерных наук (CSL) в SRI International . Получив образование в Массачусетском технологическом институте, а затем в Стэнфорде, он присоединился к SRI в 1989 году и стал директором CSL примерно в 1998 году. Ранее он занимал должности в ETA Systems , Лос-Аламосской национальной лаборатории и MCC .

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

[ редактировать ]

Линкольн получил степень бакалавра наук в области электротехники и информатики в Массачусетском технологическом институте в 1986 году, защитив диссертацию «Распределенный комбинатор DisCoRd, автоматический распараллеливающий компилятор» под руководством Ришиюра Нихила. [1] Получив эту степень, он с 1982 по 1983 год занимал должность в отделе программного обеспечения ETA Systems; один в Лос-Аламосской национальной лаборатории , отдел C-10, с 1984 по 1985 год. После окончания учебы он занимал должность в MCC с 1986 по 1988 год в отделах программных технологий и передовой компьютерной архитектуры. [1]

Затем Линкольн учился в Стэнфордском университете с 1988 по 1992 год, получив степень доктора философии. в области компьютерных наук под руководством Джона Митчелла . Докторская диссертация Линкольна называлась «Вычислительные аспекты линейной логики ». [1] [2] [3]

Более поздняя карьера

[ редактировать ]

В 1989 году Линкольн присоединился к Лаборатории компьютерных наук (CSL) SRI International. Он является директором лаборатории компьютерных наук НИИ с 1998 года и стал вице-президентом по информационным и вычислительным наукам в 2018 году. [4] Он также является исполнительным директором программы SRI для Центра исследований и разработок в области кибербезопасности Министерства внутренней безопасности и содиректором SRI Центра вычислительной биологии. [5] Он также возглавляет многочисленные междисциплинарные исследовательские группы. [6] [7]

В 2013 году он был показан в эпизоде ​​BBC Horizon «Победа над хакерами». [8] и серия NOVA "Восстание хакеров" [9] описывая свою работу в области безопасных вычислений и кортикальной криптографии. Речь идет о том, как сохранить в памяти человека пароль, который он не может вспомнить напрямую; например, научив их играть песню и измерив время их реакции. [10] [11] Эти методы теоретически устойчивы к жесткому криптоанализу , когда пользователя принуждают отказаться от пароля или другого ключа; если вы не знаете пароль, вы не сможете его кому-то сообщить. [12]

Консультативные советы и награды

[ редактировать ]

Он работал в оперативной группе Совета по оборонной науке по науке и технологиям и в оперативной группе Совета по оборонной науке по оборонительным информационным операциям. Он входит в состав нескольких консультативных советов, включая такие стартапы, как Neurome, [13] Relational.AI, [14] Блэкхорс.

В 2005 году Линкольн был назначен научным сотрудником SRI. [15] В 2013 году он и его коллеги получили награду за лучшую статью на 19-м Международном симпозиуме IEEE по надежным вычислениям в Тихоокеанском регионе (PRDC). [16]

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

[ редактировать ]

Патрику Линкольну принадлежит более 240 научных публикаций. Он входит в число ученых-компьютерщиков, индекс Хирша публикаций которых превышает 50. [17]

  • bRIGHT – Рабочие станции будущего и использование контекстных моделей, Р. Сенанаяке, Г. Денкер, П. Линкольн, Международная конференция по человеческому интерфейсу и управлению информацией, 2018 г.
  • Восстановление модели, данных и вознаграждений: доверенное машинное обучение для марковских процессов принятия решений, С. Гош, С. Джа, А. Тивари, П. Линкольн, X Чжу, 48-я ежегодная международная конференция IEEE/IFIP по надежным системам, 2018 г.
  • Вероятностное моделирование зависимостей отказов с использованием марковских логических сетей С. Гош, В. Штайнер, Г. Денкер, П. Линкольн, Материалы 19-го Международного симпозиума IEEE по надежным вычислениям в Тихоокеанском регионе (PRDC), 2013 . (Награда за лучшую бумагу)
  • Нейронаука встречается с криптографией: разработка крипто-примитивов, защищенных от атак через резиновый шланг , Х. Божинов, Д. Санчес, П. Ребер, Д. Бонех, П. Линкольн, Материалы 21-й конференции USENIX по симпозиуму по безопасности, 33-33, 2012 г.
  • {TRIST}: Обход цензуры с помощью стеганографии устойчивых к транскодированию изображений, К. Коннолли, П. Линкольн, И. Мейсон, В. Йегнесваран, 4-й семинар {USENIX} по свободным и открытым коммуникациям в Интернете ({FOCI} 14), 2014 г.
  • Преобразование коммуникаций в систему антицензуры , П. Линкольн, И. Мейсон, П. Поррас, В. Йегнесваран, З. Вайнберг, Дж. Массар, В. А. Симпсон, П. Викси, Д. Боне, 2-й семинар USENIX по свободным и открытым коммуникациям в Интернете, 2012 г.
  • Динамические коды LDPC для наноразмерной памяти с различной частотой возникновения ошибок , С. Гош, П. Линкольн, Проектирование и технология интегрированных систем в эпоху наноразмеров (DTIS), 2011, 6-я Международная конференция, том, №, стр. 1,4, 2011 г.
  • Марковские логические сети в медицинской информатике , С. Гош, П. Линкольн, Н. Шанкар, С. Оуре, С. Дэвид, Г. Свон, Труды ICML-MLGC, 2011 г.
  • Однородность как преимущество: для защиты заявки требуется сообщество , Л. Бриземейстер, С. Доусон, П. Линкольн, Х. Саиди, Дж. Торнтон, Дж. Дерфи, П. Кван, Э. Стинсон, А. Олинер, Дж. Митчелл, CollSec'10 Proceedings of the Международная конференция 2010 г. по совместным методам обеспечения безопасности и конфиденциальности, 2010 г.
  • Проблемы масштабируемой отказоустойчивости , П. Линкольн, Наномасштабные архитектуры, NANOARCH'09. Международный симпозиум IEEE/ACM по наномасштабным архитектурам, 2009 г.
  • Перспективы плотности нефотолитографической наноразмерной памяти, А. ДеХон, С. К. Гольдштейн, П. Дж. Кукес, П. Линкольн, IEEE Transactions on Nanotechnology 4 (2), 215-228 , 2005, цитируется 117
  • Унификация и сужение в Моде 2.4 , М. Клавель, Ф. Дюран, С. Экер, С. Эскобар, П. Линкольн, Н. Марти-Олиет, Дж. Месегер, К. Талкотт, Методы и приложения переписывания, 380-390 2009 г.
  • Ранние индикаторы воздействия агентов биологической угрозы с использованием профилей генов хозяина в мононуклеарных клетках периферической крови , Р. Дас, Р. Хаммами, Р. Нил, Г. В. Людвиг, С. Экер, П. Линкольн, П. Рамамурти, А..., BMC Infectious Sciences 8 (1 ), 2008 г.
  • Мод: Спецификация и программирование в переписывании логики , М. Клавель, Ф. Дюран, С. Экер, П. Линкольн, Н. Марти-Олиет, Дж. Месегер, Дж. Ф. Кесада, Theoretical Computer Science 285 (2), 187–243, 2002, цитируется по 980.
  • Архитектурная поддержка программного обеспечения, защищенного от копирования и несанкционированного доступа , Д. Лие, К. Теккат, М. Митчелл, П. Линкольн, Д. Бонех, Дж. Митчелл, М. Горовиц, Уведомления ACM SIGPLAN 35 (11), 168-177, 2000, цит. 852
  • Используя Мод , М. Клавель, Ф. Дюран, С. Экер, П. Линкольн, Н. Марти-Олиет, Дж. Месегер, Дж. Ф. Кесада, Фундаментальные подходы к разработке программного обеспечения, 371-374, 2000, цитируется по 400
  • Мета-нотация для анализа протоколов , И. Сервесато, Н. А. Дургин, П. Д. Линкольн, Дж. К. Митчелл, А. Скедров, Семинар по основам компьютерной безопасности, 1999. Материалы 12-го IEEE ..., 1999, цитировано 344
  • Принципы мода , М. Клавель, С. Экер, П. Линкольн, Дж. Мезегер, Электронные заметки в теоретической информатике 4, 65–89, 1996, цитируется по 294.
  • Неразрешимость ограниченных протоколов безопасности , Н. А. Дургин, П. Д. Линкольн, Дж. К. Митчелл, А. Скедров, В семинаре по формальным методам и протоколам безопасности, 1999, цитируется 345.
  • Система maude 2.0 , М. Клавель, Ф. Дюран, С. Экер, П. Линкольн, Н. Марти-Олиет, Дж. Месегер, К. Талкотт, Rewriting Techniques and Applications, 76–87, 2003, цитируется по 370.
  • Эффективная реализация операций с решеткой , Х. Айт-Качи, Р. Бойер, П. Линкольн, Р. Наср, Транзакции ACM в языках и системах программирования 11 (1), 115-146, 1989, цитируется 310
  • Все о моде — высокопроизводительной логической структуре: как определять, программировать и проверять системы при переписывании логики , М. Клавель, Ф. Дюран, С. Экер, П. Линкольн, Н. Марти-Олиет, Дж. Месегер, К. Талкотт, Спрингер-Верлаг, 2007 г., цитировано 1235
  • Вероятностная многовременная структура для анализа протоколов , П. Линкольн, Дж. Митчелл, М. Митчелл, А. Скедров, Материалы 5-й конференции ACM по компьютерам и коммуникациям ... 1998, цитируется по 246.
  • Проблемы принятия решений для пропозициональной линейной логики , П. Линкольн, Дж. Митчелл, А. Скедров, Н. Шанкар, Анналы чистой и прикладной логики, 56 (1), 239–311, 1992, цитируется по 322.
  • Стохастическая сборка сублитографических наноразмерных интерфейсов , А. ДеХон, П. Линкольн, Дж. Э. Сэвидж, IEEE Transactions on Nanotechnology 2 (3), 165-174, 2003, цитируется по 246.
  • Профили эпидемий и защита безмасштабных сетей, Л. Бриземейстер, П. Линкольн, П. Поррас, Материалы семинара ACM 2003 г. по быстрому вредоносному коду, 67-75, 2003, цитируется по 107.
  • Все о Моде — Высокопроизводительная логическая структура, Как определять, программировать и проверять системы в переписывании логики , том 4350 конспектов лекций по информатике, М. Клавель, Ф. Дюран, С. Экер, П. Линкольн, Н. Марти-Олиет, Дж. Месегер, К. Л. Талкотт, Springer 4, 50–88, 2007 г., цитируется по 205.
  • Логика путей: символический анализ биологической передачи сигналов , С. Экер, М. Кнапп, К. Ладерут, П. Линкольн, Дж. Месегер, К. Сонмез, Тихоокеанский симпозиум по биокомпьютингу 7, 400-412, 2002, цитируется по 195.
  • Переписывание мультимножеств и сложность ограниченных протоколов безопасности , Н. Дургин, П. Линкольн, Дж. Митчелл, А. Скедров, Журнал компьютерной безопасности 12 (2), 247-311, 2004, цитируется по 194.
  • Руководство Мод (версия 2.6) , М. Клавель, Ф. Дюран, С. Экер, П. Линкольн, Н. Марти-Олиет, Дж. Месегер, К. Талкотт, Университет Иллинойса, Урбана-Шампейн 1 (3), 4.6, 2011, цитируется 204
  • Формально проверенный алгоритм интерактивной согласованности в рамках гибридной модели ошибок , П. Линкольн, Дж. Рашби, Fault-Tolerant Computing, 1993. FTCS-23. Дайджест статей., 1993. Также появляется в FTCS: Highlights from 25 Years, 1995, стр. 438–447, цитируется 128.
  • О процедуре принятия решений Шостаком для комбинаций теорий , Д. Цирлюк, П. Линкольн, Н. Шанкар, Automated Deduction — CADE-13, 463-477, 1996, цитируется по 109.
  • Совместное использование и исправление предупреждений безопасности с сохранением конфиденциальности , П. Линкольн, П. Поррас, В. Шматиков, Материалы 13-й конференции по симпозиуму по безопасности USENIX, том 13, 17–17, 2004 г., цитируется по 136.

Патенты

[ редактировать ]

Доктор Линкольн имеет более 40 патентов в различных областях, включая компьютерную безопасность, высоконадежные системы, усовершенствованные пользовательские интерфейсы, компьютерные сети, робототехнику, биотехнологии и нанотехнологии. Выбранное подмножество указано ниже.

Компьютерная и информационная безопасность
  • Визуально интуитивно понятная интерактивная сетевая киберзащита, Р. Сенанаяке, П.А. Поррас, П.Д. Линкольн, патентное приложение США. 14/733899, 2016 г.
  • Метод, система и устройство для определения текущего контекста мобильного пользователя и упреждающего оказания помощи, К. К. Нитц, П. Д. Линкольн, К. Л. Майерс, Х. Х. Буй, Р. Сенанаяке, Г. Денкер, В. Марк, Н. Д. Винарский, С. С. Вайнер, патент США 13585003, 2014 г.
  • {TRIST}: Обход цензуры с помощью стеганографии устойчивых к транскодированию изображений, К. Коннолли, П. Линкольн, И. Мейсон, В. Йегнесваран, 4-й семинар {USENIX} по свободным и открытым коммуникациям в Интернете ({FOCI} 14), 2014 г.
  • Система и способ аутентификации произведенного продукта с помощью мобильного устройства , С.М. Экер, П.Д. Линкольн, патент США 8,534,543 , 2013 г. и патент США 8,534,544 , 2013 г.
  • Система и способ с использованием основанных на информации признаков для защиты и аутентификации транзакций , П.Д. Линкольн, Н. Шанкар, патент США № 7,117,363 , 2006 г. и патент США № 8,171,297 , 2012 г.
  • Система и метод классификации безопасности на основе решетки , П.Д. Линкольн, С.М. Доусон, П. Самарати, SDC ди Вимеркати, патент США № 6,922,696 , 2005 г.
Системы высокой надежности
  • Формальные методы моделирования и анализа гибридных систем , А. Тивари, П. Д. Линкольн, патент США 7 574 334 , 2009 г.
Расширенные совместные мультимодальные пользовательские интерфейсы
  • Адаптируемое активируемое устройство ввода со встроенным обнаружением приближения , Р. Сенанаяке, Г. Денкер, П.Д. Линкольн, Дж. Мюррей, С.С. Вайнер, патент США 20 130 215 038 , 2013 г.
  • Метод адаптивного взаимодействия с устаревшим программным приложением , Р. Сенанаяке, Г. Денкер, П.Д. Линкольн, Дж. Мюррей, С.С. Вайнер, патент США 20,130,215,005 , 2013 г.
  • Адаптируемое устройство ввода/вывода , Р. Сенанаяке, Г. Денкер, П.Д. Линкольн, Р.Д. Корнблу, С.Дж. Линкольн, Р.П. Хейдт, Х..., патент США 20 120 313 857 , 2012 г. и патент США 20 120 313 854 , 2012 г.
Компьютерные сети
  • Способ и устройство для обработки сетевых пакетов , П.Д. Линкольн, С.М. Экер, патент США 7,706,378 , 2010 г.
  • Методы и устройства для масштабируемого, распределенного управления виртуальными частными сетями , Д.В.Дж. Стрингер-Калверт, С.М. Доусон, П.Д. Линкольн, патент США 7,403,980 , 2008 г.
  • Способ и устройство для обеспечения масштабируемого обнаружения ресурсов , Д.В.Дж. Стрингер-Калверт, П.Д. Линкольн, С.М. Доусон, патент США 7,177,867 , 2007 г.
  • Способ и устройство для создания, распространения и восстановления деконструированного видео , П.Д. Линкольн, Д.В.Дж. Стрингер-Калверт, С.М. Доусон, патент США 7,095,444 , 2006 г.
Робототехника
  • Роботы, ползающие по стенам , Р. Э. Пелрин, Х. Прахлад, Р. Д. Корнблу, П. Д. Линкольн, С. Стэнфорд, патент США 7 554 787 , 2009 г., патент США 7 554 784 , 2009 г. и патент США 8 111 500 , 2012 г.
Биотехнология
  • Устройство для усиления биомолекулярной связи с наноразмерной матрицей , PD Lincoln, заявка на патент США. 12/215,239 , 2008 г., и патент США № 7,985,385 , 2011 г.
  • Моделирование и оценка путей метаболических реакций и культивирования клеток , С.М. Экер, П.Д. Линкольн, П.Д. Карп, П. Ромеро, патент США 7,308,363 , 2007 г.
  • Сравнение последовательностей биополимеров , Л.Р. Толл, П.Д. Линкольн, П.Д. Карп, К. Сонмез, патент США 7,133,781 , 2006 г.
  • Модель взаимоотношений данных , К. Сонмез, Л. Р. Толл, П. Д. Линкольн, П. Д. Карп, патент США 7 039 238 , 2006 г.
  • Способ и устройство для классификации ответов нуклеиновых кислот на инфекционные агенты , П.Д. Линкольн, С.М. Экер, заявка на патент США. 11/335982 , 2006 г.
  • Способ и устройство для корреляции в реальном времени данных, собранных с биологических датчиков , П.Д. Линкольн, А.Д.Дж. Вальдес, П.А. Поррас, заявка на патент США. 11/073,257 , 2005 г.
Нанотехнологии
  • Наномасштабное устройство объемной визуализации, имеющее по меньшей мере одно микромасштабное устройство для электрического соединения по меньшей мере одного адресного массива со средством обработки данных , П.Д. Линкольн, К.М. Паттон, патент США 7,683,303 , 2010 г.
  • Сублитографическая наноразмерная архитектура памяти , А. Дехон, К. М. Либер, П. Д. Линкольн, Дж. Сэвидж, патент США 6 963 077 , 2005 г. и патент EP 1 525 586 , 2007 г.
  • Схема наномасштабного выбора , А. Дехон, П.Д. Линкольн, К.М. Либер, Дж. Сэвидж, патент EP 1758126 , 2007 г.
  • Стохастическая сборка сублитографических наноразмерных интерфейсов , А. ДеХон, К. М. Либер, П. Д. Линкольн, Дж. Э. Сэвидж, патент США 6 900 479 , 2005 г. и патент EP 1 525 585 , 2005 г.
  • Трехмерный массив памяти , А. Дехон, П. Д. Линкольн, К. М. Либер, Дж. Сэвидж, патент EP 1630819 , 2009 г.

Ссылки

[ редактировать ]
  1. ^ Jump up to: а б с «Патрик Линкольн» . НИИ Международная лаборатория компьютерных наук . Проверено 12 января 2014 г.
  2. ^ «Консультирование по генеалогии Патрика Линкольна» . НИИ Международная лаборатория компьютерных наук . Проверено 12 января 2013 г.
  3. ^ «Патрик Деннис Линкольн» . Проект математической генеалогии . Государственный университет Северной Дакоты . Проверено 12 января 2014 г.
  4. ^ «Патрик Линкольн, директор лаборатории компьютерных наук | SRI International» . www.sri.com . Проверено 4 августа 2019 г.
  5. ^ «Создание Центра передового опыта SRI в области вычислительной биологии | SRI International» . www.sri.com . Проверено 4 августа 2019 г.
  6. ^ «НИИ компьютерных наук Лаборатория» . НИИ Интернешнл .
  7. ^ «Лаборатория компьютерных наук» . www.csl.sri.com . Проверено 4 августа 2019 г.
  8. ^ «Горизонт — Победа над хакерами» . компьютерная грамотность-project.pilots.bbcconnectedstudio.co.uk . Проверено 4 августа 2019 г.
  9. ^ «Восстание хакеров» . www.pbs.org . Проверено 4 августа 2019 г.
  10. ^ «Победа над хакерами» . Горизонт . Би-би-си . 01.10.2013 . Проверено 27 января 2014 г.
  11. ^ SRI International (01 октября 2013 г.). «Корковая криптография на BBC Horizon» . Твиттер . Проверено 27 января 2014 г.
  12. ^ Мец, Рэйчел (6 июня 2013 г.). «Пароль настолько секретен, что вы его не знаете сознательно» . Обзор технологий Массачусетского технологического института . Массачусетский технологический институт . Проверено 25 февраля 2013 г.
  13. ^ «Нейром Инк» . Компания Neurome Inc. Проверено 4 августа 2019 г.
  14. ^ реляционный ИИ. «реляционный AI — ИИ для предприятия» . реляционный . Проверено 4 августа 2019 г.
  15. ^ «Сотрудники НИИ» . НИИ Интернешнл . Проверено 12 января 2013 г.
  16. ^ «ПРДЦ 2013» . prdc.dependentability.org . Проверено 4 августа 2019 г.
  17. ^ «Гугл Академика» . ученый.google.com . Проверено 4 августа 2019 г.
[ редактировать ]
Retrieved from "https://en.wikipedia.org/w/index.php?title=Patrick_Lincoln&oldid=1225633852"
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 6c6836b7f40e07dbab1b9be3cc2bdb77__1716652440
URL1:https://arc.ask3.ru/arc/aa/6c/77/6c6836b7f40e07dbab1b9be3cc2bdb77.html
Заголовок, (Title) документа по адресу, URL1:
Patrick Lincoln - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)