Дерек Корнейл
Дерек Дж. Корнейл | |
|---|---|
| Национальность | Канадский |
| Образование |
|
| Научная карьера | |
| Поля | |
| Учреждения | Университет Торонто |
| Диссертация | Изоморфизм графов (1968) |
| Докторантура | Кэлвин Готлиб |
| Докторанты |
|
Дерек Гордон Корнейл — канадский математик и ученый-компьютерщик профессор , почетный информатики Университета Торонто и эксперт в области графовых алгоритмов и теории графов .
Жизнь
[ редактировать ]Когда он заканчивал среднюю школу, учитель английского языка сказал Корнею, что получение степени по математике и физике — плохая идея и что лучшее, на что он может надеяться, — это поступить в технический колледж. Его интерес к информатике начался, когда, будучи студентом Куинс-колледжа, он услышал, что компьютер был куплен компанией по страхованию жизни в Лондоне, Онтарио, где работал его отец. На первом курсе он устроился на летнюю работу оператором UNIVAC Mark II в компании. Одной из его основных обязанностей было управление принтером. Вскоре появилась возможность устроиться на работу программистом в компанию, спонсирующую его стипендию в колледже. Это был шанс, которым Корнейл ухватился после того, как ему отказали в аналогичной должности в London Life. Первоначально на его работе произошла путаница, поскольку его руководитель думал, что он знает, как программировать UNIVAC Mark II, и поэтому он легко перейдет к тому же самому для недавно приобретенной компанией машины IBM 1401. Однако Корнейл не имел предполагаемого опыта программирования. Таким образом, за те две недели, которые Корнелю дали, чтобы научиться программировать, IBM 1401 , он научился писать код с нуля, во многом полагаясь на руководство по эксплуатации. Этот опыт подтолкнул его дальше на пути, как и ряд проектов, над которыми он позже работал на этой должности. [1]
Корнейл получил степень бакалавра математики и физики в Королевском университете в 1964 году. Первоначально он планировал поступить в аспирантуру, прежде чем стать учителем средней школы, но его приняли в совершенно новую аспирантуру по информатике в Университете Торонто изменил это. В Университете Торонто Корнейл получил степень магистра, а затем в 1968 году степень доктора компьютерных наук под руководством Кэлвина Готлиба . [2] [3] (Его научным руководителем был Яап Зайдель.) Именно в это время Корней заинтересовался теорией графов. В конце концов он и Готлиб стали хорошими друзьями. После постдокторской учебы в Технологическом университете Эйндховена Корнейл вернулся в Торонто в качестве преподавателя в 1970 году. [2] До выхода на пенсию в 2010 г. [4] Корнейл занимал множество должностей в Университете Торонто, в том числе заведующего кафедрой компьютерных наук (с июля 1985 г. по июнь 1990 г.), директора исследовательских инициатив факультета искусств и наук (с июля 1991 г. по март 1998 г.) и исполняющего обязанности вице-президента Университета Торонто. Исследования и международные отношения (сентябрь-декабрь 1993 г.). Во время своей работы в качестве профессора он также был приглашенным профессором в таких университетах, как Университет Британской Колумбии, Университет Саймона Фрейзера, Университет Гренобля и Университет Монпелье.
Работа
[ редактировать ]Корнейл проводил исследования в области алгоритмической теории графов и теории графов в целом. Он защитил 49 диссертаций и опубликовал более 100 статей самостоятельно или в соавторстве. Эти документы включают в себя:
- Доказательство того, что распознавание графов малой древовидной ширины является NP-полным , [5]
- Генерирующие алгоритмы изоморфизма графов . [8] [9]
- Алгоритмические и структурные свойства дополняемых приводимых графов. [10]
- Свойства астероидных графов без троек. [11]
- Алгоритм решения проблемы определения того, является ли граф частичным графом k-дерева. [12]
- Результаты, посвященные теории графов, алгоритмам и проблемам сложности, связанным с связями деревьев . [13]
- Объяснение взаимосвязи между шириной дерева и шириной клики. [14]
- Определение диаметра ограниченных семейств графов. [15]
- Описание структуры графов-трапеций. [16]
профессором Будучи почетным , Корней по-прежнему занимается исследованиями, а также является редактором нескольких публикаций, таких как Ars Combinatoria и SIAM Monographs on Discrete Mathematics and Applications .
Награды
[ редактировать ]В 2004 году он был назначен научным сотрудником Института Филдса . [17]
Ссылки
[ редактировать ]- ^ «Дерек Корнейл: известный и уважаемый профессор информатики Университета Торонто — Блог канадского ИТ-менеджера — Домашняя страница сайта — Блоги TechNet» . Архивировано из оригинала 23 июня 2011 г. Проверено 19 февраля 2012 г.
- ^ Jump up to: а б Биография , Университет Торонто. Проверено 1/8 февраля 2012 г.
- ^ Дерек Гордон Корнейл в проекте «Математическая генеалогия»
- ^ «Дерек Корнейл: Уход на пенсию после 40 лет работы в DCS» (PDF) , @DCS , 1 (3), Факультет компьютерных наук Университета Торонто: 8, 2010 г.
- ^ Арнборг, Стефан; Корнейл, Дерек Г.; Проскуровски, Анджей (1987), «Сложность поиска вложений в $k$-дереве», SIAM Journal on Algebraic and Discrete Methods , 8 (2): 277–284, doi : 10.1137/0608024 , MR 0881187 .
- ^ Корней, генеральный директор; Лерхс, Х.; Берлингем, Л. Стюарт (1981), «Дополнительные приводимые графы», Discrete Applied Mathematics , 3 (3): 163–174, doi : 10.1016/0166-218X(81)90013-5 , MR 0619603
- ^ Корней, генеральный директор; Перл, Ю.; Стюарт, Л.К. (1985), «Алгоритм линейного распознавания кографов», SIAM Journal on Computing , 14 (4): 926–934, doi : 10.1137/0214065 , MR 0807891 .
- ^ Корней, генеральный директор; Готлиб, CC (1970), «Эффективный алгоритм изоморфизма графов», Journal of the ACM , 17 : 51–64, CiteSeerX 10.1.1.453.3730 , doi : 10.1145/321556.321562 , MR 0278977 , S2CID 207720001
- ^ Прочтите, Рональд К.; Корнейл, Дерек Г. (1977), «Болезнь изоморфизма графов», Journal of Graph Theory , 1 (4): 339–363, doi : 10.1002/jgt.3190010410 , MR 0485586 .
- ^ Корней, генеральный директор; Лерхс, Х.; Берлингем, Л. Стюарт (1981). «Дополнительные приводимые графы». Дискретная прикладная математика . 3 (3): 163–174. дои : 10.1016/0166-218X(81)90013-5 .
- ^ Корнейл, Дерек Г.; Олариу, Стефан; Стюарт, Лорна (1997). «Астероидные тройные свободные графы». SIAM Journal по дискретной математике . 10 (3): 399–430. дои : 10.1137/S0895480193250125 .
- ^ Арнборг, Стефан; Корнейл, Дерек Г.; Проскуровский, Анджей (1987). «Сложность поиска вложений в ak -Tree». SIAM Journal по алгебраическим и дискретным методам . 8 (2): 277–284. дои : 10.1137/0608024 .
- ^ Цай, Лэйчжэнь; Корнейл, Дерек Г. (1995). «Деревянные ключи». SIAM Journal по дискретной математике . 8 (3): 359–387. дои : 10.1137/S0895480192237403 .
- ^ Корнейл, Дерек Г.; Ротикс, Уди (2005). «О взаимосвязи между шириной клика и шириной дерева». SIAM Journal по вычислительной технике . 34 (4): 825–847. дои : 10.1137/S0097539701385351 .
- ^ Корнейл, Дерек Г.; Драган, Федор Ф.; Хабиб, Мишель; Пол, Кристоф (2001). «Определение диаметра ограниченных семейств графов» (PDF) . Дискретная прикладная математика . 113 (2–3): 143–166. дои : 10.1016/S0166-218X(00)00281-X .
- ^ Мерциос, Джордж Б.; Корнейл, Дерек Г. (2011). «Разделение вершин и распознавание графов-трапеций» (PDF) . Дискретная прикладная математика . 159 (11): 1131–1147. дои : 10.1016/j.dam.2011.03.023 .
- ^ Стипендиаты Института Филдса . Проверено 18 февраля 2012 г.
Внешние ссылки
[ редактировать ]- Интервью с Корнейлом и Стивеном Ибараки, 13 июня 2011 г.
- Список публикаций в DBLP
| Международный | |
|---|---|
| Национальный | |
| академики | |
