Дэниел Кренинг
Дэниел Кренинг (родился 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] После окончания школы Кренинг завершил обязательные общественные работы.
Карьера
[ редактировать ]Зимним семестром 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]
Избранные публикации
[ редактировать ]- Хасанбейг М., Джеппу, Нью-Йорк, Абате А., Мелхэм Т. и Кренинг Д., «Deepsynth: синтез автоматов для автоматической сегментации задач в глубоком обучении с подкреплением». АААИ 2020, Том. 35, № 9, стр. 7647-7656.
- Виджей Д'Сильва, Леопольд Халлер, Дэниел Кренинг: Абстрактное обучение, основанное на конфликте. ПОПЛ 2013: 143-154.
- Обзор автоматизированных методов формальной верификации программного обеспечения, Д'Сильва, Виджей, Кронинг, Дэниел и Вайссенбахер, Георг, Транзакции IEEE по автоматизированному проектированию интегральных схем и систем (TCAD), Vol. 27, № 7, страницы 1165–1178. Июль 2008 года.
- Процедуры принятия решений — с алгоритмической точки зрения, Кренинг, Дэниел, Стрихман, Офер, Спрингер. 2008.
- Верификация логических программ с неограниченным созданием потоков, Кук, Байрон, Кронинг, Дэниел и Шарыгина, Наташа, Теоретическая информатика (TCS), Vol. 388, страницы 227–242. 2007.
Ссылки
[ редактировать ]- ^ Перейти обратно: а б с д и Кренинг, Даниэль. «Формальная проверка конвейерных микропроцессоров» (PDF) . emis.de. п. 80.
- ^ Перейти обратно: а б «Профессор Дэниел Кронинг | Колледж Магдалины в Оксфорде» . Magd.ox.ac.uk. Проверено 28 июня 2017 г.
- ^ Перейти обратно: а б «Даниэль Крёнинг» . www.kroening.handshake.de . Проверено 10 мая 2018 г.
- ^ Кренинг, Дэниел. «Пакет DBOX BBS» . www.dbox.handshake.de . Проверено 10 мая 2018 г.
- ^ «ДБОКС» . Freshmeat.sourceforge.net . Проверено 10 мая 2018 г.
- ^ Оба, Андреас. «Chronik des Handshake eV» www.handshake.de . Проверено 10 мая 2018 г.
- ^ Перейти обратно: а б «VorteQ Consulting – Даниэль Кренинг» . www.vorteqconsulting.com . Архивировано из оригинала 1 июля 2016 года . Проверено 10 мая 2018 г.
- ^ Перейти обратно: а б с "Дом" . kroening.com .
- ^ «Диффблю» . www.diffblue.com .
- ^ «Дэниел Кронинг | HuffPost UK» . Huffingtonpost.co.uk. 17 февраля 2017 года . Проверено 28 июня 2017 г.
- ^ «Стартап в области искусственного интеллекта из Оксфордского университета собрал 17 миллионов фунтов стерлингов на проверку кода на наличие ошибок» . uk.news.yahoo.com . 2 июля 2017 года . Проверено 1 августа 2017 г.
- ^ "О нас" .
Внешние ссылки
[ редактировать ]- Частная домашняя страница (древняя и устаревшая)
- Домашняя страница личного исследования
- Домашняя страница университета
- Дэниел Крёнинг в проекте «Математическая генеалогия»
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
