Канадский ученый-компьютерщик и педагог
Джеймс Реджинальд Корди (родился 2 января 1950 г.) - канадский компьютерный ученый и педагог, который является почетным профессором компьютерной школы в Королевском университете. В качестве исследователя он в последнее время активно занимается анализом и обработкой исходного кода, реверсивным и реинжиниринговым программным обеспечением, анализом шаблонов и машинным интеллектом. У него большой опыт предыдущей работы в области языков программирования, технологии компиляторов и архитектуры программного обеспечения.
Он наиболее известен своей работой над языком преобразования исходного кода TXL, фреймворком на основе синтаксического анализатора и языком функционального программирования, разработанным для поддержки задач анализа и преобразования программного обеспечения, первоначально разработанных с M.Sc. студент Чарльз Халперн-Хаму в 1985 году как инструмент для экспериментов с дизайном языков программирования. Его недавняя работа над детектором клонов NICAD с доктором философии. студент Чанчал Рой, язык стратегии распознавания с доктором философии. студент Ричард Занибби и Доротея Блоштейн, облегченная система понимания естественного языка Cerno с Джоном Милопулосом и другими из Университета Тренто, а также детектор клонов модели SIMONE с Манар Алалфи, Томас Р. Дин, Мэтью Стефан и Эндрю Стивенсон основаны на TXL.
Статья 1995 года «Синтаксическая теория архитектуры программного обеспечения» с доктором философии. Студент Томас Р. Дин был широко известен как основополагающая работа в этой области и привел к его совместной работе с Томасом Р. Дином, Кевином А. Шнайдером и Эндрю Дж. Малтоном по анализу устаревших систем.
Работа в языки программирования включали дизайн Concurrent Euclid (1980) и Turing (1983) с RC Holt, а также реализация языков Euclid (1978) и SP / k (1974) с R.C. Холт, Д. Вортман, Д.Т.Барнард и другие. В рамках этих проектов он разработал технологию компилятора S / SL с R.C. Холт и Д. Вортман на основе его M.Sc. дипломная работа и метод генерации ортогонального кода на основе его кандидатской диссертации. дипломная работа.
Он был соавтором или соавтором книг «Язык программирования Тьюринга: дизайн и определение» (1988 г.), «Введение в построение компиляторов с использованием S / SL» (1986 г.), «Умный Интернет» (2010 г.), и The Personal Web (2013).
С 2002 по 2007 год он был директором Королевской вычислительной школы. В 2008 году он был избран заслуженным ученым Ассоциации вычислительной техники. Он является плодовитым научным руководителем и в 2008 году был удостоен награды Королевского университета за выдающиеся достижения в области надзора за выпускниками. В 2016 году он выиграл приз Королевского университета за выдающиеся достижения в области исследований. В 2019 году он был награжден Премией за заслуги перед жизнью.
Ссылки
- ^J.R. Корди, "Язык преобразования исходного кода TXL", Science of Computer Programming 61,3 (август 2006 г.), стр. 190-210
- ^J.R. Корди, К. Халперн и Э. Промислоу, TXL: Система быстрого прототипирования для программирования языковых диалектов, Компьютерные языки 16,1 (январь 1991 г.), стр. 97-107.
- ^C.K. Рой и Дж.Р. Корди, NICAD: точное обнаружение клонов, близких к промахам, с помощью гибкой печати и нормализации кода, Proc. ICPC 2008, Международная конференция IEEE по пониманию программ, Амстердам, июнь 2008 г., стр. 172-181
- ^R. Занибби, Д. Blostein и J.R. Cordy, "Язык стратегии распознавания", Proc. ICDAR 2005 - IAPR 8th Intl. Конф. по анализу и распознаванию документов, Сеул, Корея, август 2005 г., стр. 565-569
- ^N. Киявицкая, Н. Зени, Дж.Р. Корди, Л. Мич и Дж. Милопулос, Cerno: облегченная инструментальная поддержка семантической аннотации текстовых документов, инженерия данных и знаний 68,12 (декабрь 2009 г.), стр. 1470-1492
- ^M.H. Алалфи, Дж.Р. Корди, Т. Дин, М. Стефан и А. Стивенсон, «Модели тоже являются кодом: обнаружение клонов, близких к промахам, для моделей Simulink», Proc. ICSM 2012 - Международная конференция IEEE по сопровождению программного обеспечения, Рива-дель-Гарда, Италия, сентябрь 2012 г., стр. 295-304
- ^T.R. Дин и Дж. Р. Корди, "Синтаксическая теория архитектуры программного обеспечения", IEEE Transactions on Software Engineering 21,4 (январь 1995 г.), стр. 302-313.
- ^Т.Р. Дин, Дж.Р. Корди, К.А. Шнайдер и А.Дж. Малтон, «Опыт использования методов восстановления конструкции для преобразования устаревших систем», Proc. ICSM 2001 - Международная конференция IEEE по сопровождению программного обеспечения, Флоренция, ноябрь 2001 г., стр. 622-631
- ^J.R. Корди и Р. Холт, Параллельный отчет Евклида, Технические отчеты CSRI-115 и CSRI-133, Институт исследования компьютерных систем, Университет Торонто, июль 1980 г.
- ^R.C. Холт и Дж. Р. Корди, «Отчет о языке Тьюринга», Технический отчет CSRI-153, Институт исследования компьютерных систем, Университет Торонто, декабрь 1983 г.
- ^R.C. Холт и Дж. Р. Корди, Язык программирования Тьюринга, Коммуникации Ассоциации вычислительной техники 31,12 (декабрь 1988 г.), стр. 1410-1423
- ^Д. Wortman, J.R. Cordy, Early Experiences with Euclid, Proc. ICSE-5, 5-я Международная конференция по разработке программного обеспечения IEEE, Сан-Диего, март 1981 г., стр. 27-32
- ^R.C. Холт, Д. Вортман, Д.Т. Барнард и Дж. Р. Корди, "SP / k: система для обучения компьютерному программированию", Comm. Ассоциации вычислительной техники 20,5 (май 1977 г.), стр. 301-309.
- ^Р.С. Холт, Дж.Р. Корди и Д. Wortman, An Introduction to S / SL: Syntax / Semantic Language, ACM Transactions on Programming Languages and Systems 4,2 (апрель 1982 г.), стр. 149-178.
- ^J.R. Корди, Р. Холт и Д. Вортман, Семантические диаграммы: схематический подход к семантической обработке, Proc. ACM 1979 SIGPLAN Симпозиум по созданию компиляторов, ACM SIGPLAN Notices Vol. 14, No. 8, August 1979, pp. 39-49
- ^J.R. Корди и Р. Холт, «Генерация кода с использованием ортогональной модели», Практика программного обеспечения и опыт 20,3 (март 1990 г.), стр. 301-320
- ^R.C. Холт, П.А. Мэтьюз, Дж. Росселет и Дж.Р. Корди, Язык программирования Тьюринга: дизайн и определение, Прентис-Холл, 1988.
- ^Дж. Корди, Введение в построение компиляторов с использованием S / SL: синтаксический / семантический язык, Королевский университет, 1986 г. (5-е издание, август 2006 г.)
- ^М. Чигнелл, Дж. Р. Корди, Дж. Нг и Й. Йеша (ред.), Умный Интернет: текущие исследования и будущие приложения, Лекционные заметки по информатике 6400, Springer Verlag, 2010
- ^M. Чигнелл, Дж. Р. Корди, Р. Кили, Дж. Нг и Й. Йеша (ред.), Персональная сеть: повестка дня исследования, конспект лекций по информатике 7855, Springer Verlag, 2013
- ^«Архивная копия». Архивировано с оригинального 2 апреля 2012 года. Проверено 31 марта 2011 г. CS1 maint: заархивированная копия как заголовок (ссылка )
- ^http://www.queensu.ca/ctl/awards/internal-awards/university-wide-awards#Award % 20for% 20Excellence% 20in% 20Graduate% 20Student% 20Supervision
- ^http://www.queensu.ca/vpr/prizes-awards/award-winners/prizes-excellence-research
- ^https: // cscan-infocan.ca / awards / james-r-cordy /
Внешние ссылки