Опыт

Доктор Джереми Гиббонс считается международным авторитетом благодаря своему вкладу в область методологии программирования и ее применения в программной инженерии. Более двух десятилетий этот специалист, работающий на факультете компьютерных наук Оксфордского университета, руководит различными проектами, наиболее ощутимые результаты которых применяются учеными-компьютерщиками в разных частях света.

Его работа охватывает такие области, как общее программирование, формальные методы, вычислительная биология, биоинформатика и разработка алгоритмов на языке Haskell. Последний был активно разработан совместно с его наставником, доктором Ричардом Бердом.

В качестве директора исследовательской группы алгебры программирования Гиббонс руководил разработками в области функциональных языков программирования и теории паттернов в программировании. В то же время его инновации нашли применение в сфере здравоохранения, о чем свидетельствует его сотрудничество с CancerGrid и Datatype-Generic Programming. Эти и другие инициативы отражают его интерес к решению практических проблем в области исследований рака и клинической информатики.

Гиббонс также добился значительных успехов в качестве главного редактора научных публикаций в журналах The Journal of Functional Programming и The Programming Journal: The Art, Science, and Engineering of Programming. Выполняя эти обязанности, он вел активную работу по распространению знаний. Кроме того, он возглавлял несколько учебных кафедр, связанных с такими известными учебными заведениями, как Оксфордский университет Брукс и Оклендский университет (Новая Зеландия).

Он также является членом рабочей группы 2.1 по алгоритмическим языкам и вычислениям Международной федерации по обработке информации (IFIP). В этой организации он обеспечивает сопровождение языков программирования ALGOL 60 и ALGOL 68.

  • Руководитель программы по разработке программного обеспечения, Оксфордский университет, Великобритания
  • Заместитель руководителя Лаборатории информатики и факультета компьютерных наук Оксфордского университета
  • Профессор Келлогского колледжа, Оксфордского университета Брукс и Оклендского университета в Новой Зеландии
  • Руководитель исследовательской группы алгебры программирования
  • Главный редактор журналов The Art, Science, and Engineering of Programming и Journal of Functional Programming
  • Докторская степень в области компьютерных наук Оксфордского университета
  • Степень бакалавра компьютерных наук Эдинбургского университета
  • Член:
    • Рабочая группа 2.1 Международной федерации по обработке информации (IFIP) по алгоритмическим языкам и вычислениям (WG2.1)
Программы, с которыми сотрудничает

1 /