Ханне Риис Нильсон
Ханне Риис Нильсон (1954 г.р.) [ 1 ] Ученый-компьютерщик, специализирующийся на формальных методах и статическом анализе программ , особенно в приложениях, связанных с компьютерной безопасностью и безопасностью программного обеспечения .
Образование и карьера
[ редактировать ]Как Ханне Риис, она получила степень магистра в Орхусском университете , защитив диссертацию «Подклассы грамматик атрибутов» в 1980 году . [ 2 ] Она защитила докторскую диссертацию. в 1984 году в Эдинбургском университете с диссертацией «Логика Хоара для анализа программ во время выполнения » под руководством Гордона Плоткина . [ 3 ]
Она была профессором информатики и инженерии в Техническом университете Дании , где возглавляла секцию языковых технологий. [ 4 ]
Книги
[ редактировать ]Книги Нильсона включают:
- Семантика с приложениями: формальное введение (совместно с Флеммингом Нильсоном, Wiley, 1992)
- Системы типов и эффектов: поведение для параллелизма (совместно с Торбеном Амтофтом и Флеммингом Нильсоном, Imperial College Press, 1999)
- Принципы анализа программ (совместно с Флеммингом Нильсоном и Крисом Ханкиным, Springer, 1999 г.) [ 5 ]
- Двухуровневые функциональные языки (совместно с Флеммингом Нильсоном, издательство Кембриджского университета, 2005 г.) [ 6 ]
- Семантика с приложениями: закуска (совместно с Флеммингом Нильсоном, Springer, 2007)
- Формальные методы: закуска (совместно с Флеммингом Нильсоном, Springer, 2019) [ 7 ]
Признание
[ редактировать ]В 2016 году был издан festschrift в честь 60-летия Нильсона и Флемминга Нильсонов. [ 1 ]
Ссылки
[ редактировать ]- ^ Jump up to: а б Пробст, Кристиан В.; Ханкин, Крис; Хансен, Рене Ридхоф, ред. (2016), Семантика, логика и исчисление: очерки, посвященные Ханне Риис Нильсон и Флеммингу Нильсону по случаю их 60-летия , Конспекты лекций по информатике, том. 9560, Спрингер, номер домена : 10.1007/978-3-319-27810-0 , ISBN. 978-3-319-27810-0
- ^ Риис, Ханне (1980), «Подклассы грамматик атрибутов», серия отчетов Daimi (магистерская диссертация; серия отчетов DAIMI, 9 (114)), 9 (114), Орхусский университет, doi : 10.7146/dpb.v9i114.6532
- ^ Нильсон, Ханне Риис (1984), Логика Хоара для анализа программ во время выполнения , Эдинбургский университет, hdl : 1842/15527
- ^ «Биологический набросок спикера: Ханне Риис Нильсон» , Семинар ко дню рождения Анны: Flow Sensitive Security , Исландский центр передового опыта в области теоретической информатики, Рейкьявикский университет, 17 февраля 2017 г. , получено 5 августа 2024 г.
- ^ Обзоры принципов программного анализа :
- Anatoly V.Anisimov, Збл 0932.68013
- Роберто Джакобацци (2002), MR 1728440
- ^ Обзор двухуровневых функциональных языков : С. Гербер, Збл 0763.68023
- ^ Майклсон, Грег (июнь 2022 г.), «Обзор формальных методов: закуска », Формальные аспекты вычислений , 34 (2): 1–2, doi : 10.1145/3545181
Внешние ссылки
[ редактировать ]- Публикации Ханны Райс Нильсон , проиндексированные Google Scholar
