Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

Daniel Кренинг (родился 6 ноября 1975 [1] ) является немецкий ученый, профессор информатики в Университете Оксфорда , и главный научный сотрудник в компании он стал одним из основателей, Diffblue Ltd. [2] Он является членом Колледж Магдалины .

Ранняя жизнь [ править ]

Кренинг родился в Майнце, Рейнланд-Пфальц, Германия. Он посещал гимназию Марии-Терезы, Эрланген, Бавария с 1986 по 1990 год и гимназию Ротенбюля, Саарбрюккен, Саар, с 1990 по 1995 год. [1] Ранняя работа Кроенинга в те школьные годы включала реализацию протоколов передачи данных [3] и программное обеспечение BBS. пакет с управлением доступом в Интернет для небольших интернет-провайдеров, который он выпустил под бесплатными / открытыми лицензиями. [4] [5] В 1992 году Кренинг присоединился к местному некоммерческому интернет-провайдеру Handshake eV. [3] С 1993 года он размещал и управлял основной системой BBS Handshake, а к концу 1994 года на ней работало его программное обеспечение. [6] С 1996 года он также был вовлечен в исполнительное руководство Handshake.[1] Он регулярно писал о компьютерахв местной газете Saarbrücker Zeitung . [ необходима цитата ] После школы Кренинг завершил обязательные общественные работы.

Карьера [ править ]

В зимнем семестре 1996 года Кренинг начал изучать информатику и экономику в Саарландском университете . [1] Он получил свой диплом и докторскую степень в 1999 и 2001 годах. [2] Он был одним из самых быстрых студентов в истории факультета, пройдя всего четыре с половиной года от студента первого курса до докторской степени. [1] Его быстрое окончание школы привлекло внимание местных СМИ.

После получения докторской степени Кренинг работал в Университете Карнеги-Меллона в качестве постдока, прежде чем присоединиться к ETH Zürich в качестве доцента. [7] В конце концов он поселился в Оксфордском университете.

Основное внимание в исследованиях Кренинга уделяется программному и аппаратному анализу. [8]

Он опубликовал учебники по процедурам принятия решений и проектированию оборудования. [8]

Профессиональная деятельность Кренинга включает членство в комитете ведущей конференции по анализу программ CAV . [8]

В своей области знаний Кренинг работал консультантом в таких компаниях, как Intel, IBM и Fujitsu. [7] В 2016 году он стал соучредителем Diffblue Ltd [9], компании по разработке инструментов, использующей искусственный интеллект для написания кода. [10] [11] В настоящее время он является главным научным сотрудником Diffblue . [12]

Избранные публикации [ править ]

  • Виджей Д'Сильва, Леопольд Халлер, Даниэль Кроенинг: Абстрактное обучение, управляемое конфликтами. POPL 2013: 143-154
  • Обзор автоматизированных методов формальной проверки программного обеспечения, Д'Силва, Виджай, Кроенинг, Даниэль и Вайссенбахер, Георг, Транзакции IEEE по автоматизированному проектированию интегральных схем и систем (TCAD), Vol. 27, № 7, страницы 1165–1178. Июль 2008 г.
  • Процедуры принятия решений - алгоритмическая точка зрения, Кроенинг, Дэниел, Стрихман, Офер, Спрингер. 2008 г.
  • Проверка логических программ с неограниченным созданием потоков, Кук, Байрон, Кроенинг, Даниэль и Шарыгина, Наташа, Теоретическая информатика (TCS), Vol. 388, страницы 227–242. 2007 г.

Ссылки [ править ]

  1. ^ a b c d e Крёнинг, Даниэль. «Формальная проверка конвейерных микропроцессоров» (PDF) . emis.de. п. 80.
  2. ^ a b "Профессор Дэниел Кренинг | Колледж Магдалины Оксфорд" . Magd.ox.ac.uk . Проверено 28 июня 2017 года . CS1 maint: обескураженный параметр ( ссылка )
  3. ^ а б "Даниэль Крёнинг" . www.kroening.handshake.de . Проверено 10 мая 2018 . CS1 maint: обескураженный параметр ( ссылка )
  4. ^ Кренинг, Даниэль. «Пакет DBOX BBS» . www.dbox.handshake.de . Проверено 10 мая 2018 . CS1 maint: обескураженный параметр ( ссылка )
  5. ^ "DBOX" . freshmeat.sourceforge.net . Проверено 10 мая 2018 . CS1 maint: обескураженный параметр ( ссылка )
  6. ↑ Оба, Андреас. "Chronik des Handshake eV" www.handshake.de . Проверено 10 мая 2018 . CS1 maint: обескураженный параметр ( ссылка )
  7. ^ a b "VorteQ Consulting - Даниэль Крёнинг" . www.vorteqconsulting.com . Проверено 10 мая 2018 . CS1 maint: обескураженный параметр ( ссылка )
  8. ^ а б в https://www.kroening.com/
  9. ^ "Diffblue" . www.diffblue.com .
  10. ^ "Дэниел Кренинг | HuffPost UK" . Huffingtonpost.co.uk. 17 февраля 2017 . Проверено 28 июня 2017 года . CS1 maint: обескураженный параметр ( ссылка )
  11. ^ «Стартап в области искусственного интеллекта Оксфордского университета собрал 17 миллионов фунтов стерлингов на проверку кода на наличие ошибок» . uk.news.yahoo.com . Проверено 1 августа 2017 года . CS1 maint: обескураженный параметр ( ссылка )
  12. ^ https://www.diffblue.com/about-us

Внешние ссылки [ править ]

  • Частная домашняя страница (древняя и устаревшая)
  • Домашняя страница личного исследования
  • Домашняя страница университета