Хавьер Эспарса

Хавьер Эспарса
Хавьер Эспарса
Рожденный	27 апреля 1964 г. (60 лет) ; Памплона , Испания
Награды	Грант ERC Advanced Grant , присужден в 2018 г. ; Почетный доктор Масариковского университета , присвоена в 2009 г. ; Член Academia Europaea , избран в 2011 г. ;
	Научная карьера
Поля	Информатика ; Теория параллелизма ;
Учреждения	Технический университет Мюнхена ;
Веб-сайт	www7 .в .цель .из /~эспарса /

Франсиско Хавьер Эспарса Эстаун (родился 27 апреля 1964 года в Памплоне , Испания). ^{[ 1 ]}) — испанский ученый-компьютерщик . Он является профессором Мюнхенского технического университета .

Образование

Хавьер Эспарса Эстаун получил степень магистра наук в области теоретической физики в Университете Сарагосы (1987). В том же университете он получил докторскую степень (PhD) в области компьютерных наук (1990 г., сети Петри со свободным выбором). ^{[ 2 ]}^{[ 3 ]} В 1994 году он прошел хабилитацию в Университете Хильдесхайма по теме развертки сетей Петри . ^{[ 4 ]}

Карьера

Во время получения хабилитации и в последующий период внимание Хавьера Эспарсы было сосредоточено на теории параллелизма и теории сетей Петри. Он внес важный вклад в теорию структуры сетей Петри и в подход развертывания, первоначально предложенный Кеннетом Л. Макмилланом. ^{[ 5 ]} и он является соавтором двух книг по этим темам. ^{[ 6 ]}^{[ 7 ]}

После получения хабилитации он работал доцентом в Техническом университете Мюнхена (1994–2001). Затем он последовательно занимал должность заведующего кафедрой теоретической информатики в Эдинбургском университете (2001–2003 гг.) и заведующего кафедрой надежности и безопасности программного обеспечения в Университете Штутгарта (2003–2007 гг.). С 2007 года он возглавляет кафедру «Основы надежности программного обеспечения и теоретической информатики» в Техническом университете Мюнхена. ^{[ 1 ]}

Он также внес вклад в теоретико-автоматный подход к проверке моделей программного обеспечения , анализу программ и верификации систем с бесконечным состоянием. Совсем недавно его работа была сосредоточена на проверке параметризованных и стохастических систем. Опубликовал более 250 рецензируемых научных работ. ^{[ 8 ]} в вышеупомянутых областях, а также книгу об алгоритмическом подходе к теории автоматов (в соавторстве с Майклом Блондином). ^{[ 9 ]} Его группа разработала несколько инструментов проверки программного обеспечения, таких как Moped. ^{[ 10 ]} и ДжейМопед, ^{[ 11 ]} Рабинайзер, ^{[ 12 ]} Стрикс, ^{[ 13 ]} и Перегрин. ^{[ 14 ]} он получил продвинутый грант Европейского исследовательского совета. В 2018 году ^{[ 15 ]} и был главным исследователем более 20 исследовательских проектов, большинство из которых являются совместными в международном контексте. ^{[ 1 ]} Его часто приглашали в качестве докладчика на конференциях по компьютерным наукам, а также он был председателем или членом различных профессиональных программных, руководящих и отборочных комитетов. ^{[ 1 ]}

Награды и почести

Хавьер Эспарса был удостоен звания почетного доктора информатики Брненского университета имени Масарика , Чехия, в 2009 году. ^{[ 16 ]} и он является избранным членом Европейской академии с 2011 года. ^{[ 17 ]} Он получил премию CONCUR Test-of Time Award 2021 за свою статью «Анализ достижимости автоматов с толканием: применение к проверке моделей» (в соавторстве с Ахмедом Буаджани и Одедом Малером); ^{[ 18 ]} несколько наград за лучшие доклады на конференциях; ^{[ 19 ]}^{[ 20 ]}^{[ 21 ]} неоднократно становился призом за лучший преподаватель Мюнхенского технического университета; ^{[ 22 ]} и премия за диссертацию Университета Сарагосы (1990). ^{[ 23 ]}

Ссылки

^ Перейти обратно: ^а ^б ^с ^д «Биографическая справка» (PDF) . Технический университет Мюнхена . Проверено 29 апреля 2021 г.
^ Эспарса Дж., Сильва М. (1991) Об анализе и синтезе систем свободного выбора. Конспект лекций по информатике, том 483. Springer, Berlin, Heidelberg . 1991. стр. 243–286. дои : 10.1007/3-540-53863-1_28 . ISBN 9783540463696 . Проверено 29 апреля 2021 г.
^ «Цитаты в Google Scholar» . Google Академик . Проверено 29 апреля 2021 г.
^ Эспарса, Хавьер (декабрь 1994 г.). «Проверка модели с помощью чистых разверток» . Наука компьютерного программирования . 23 (2): 151–195. дои : 10.1016/0167-6423(94)00019-0 . S2CID 29311587 .
^ «Кеннет Л. Макмиллан» . Вордпресс . Проверено 30 апреля 2021 г.
^ Йорг Дезель и Хавьер Эспарса (1995), Сети Петри со свободным выбором , Кембриджские трактаты по теоретической информатике, том. 40, Издательство Кембриджского университета, ISBN 9-780-52101945-3
^ Хавьер Эспарса и Кейо Хельянко (2008), Развертывания – подход частичного порядка к проверке моделей , Монографии EATCS по теоретической информатике, Springer, ISBN 978-3-540-77425-9
^ «Список публикаций DBLP Хавьера Эспарсы» . Библиография DBLP по информатике . Проверено 26 апреля 2021 г.
^ Эспарса, Хавьер; Блонден, Майкл (17 октября 2023 г.). Теория автоматов: алгоритмический подход . Массачусетский технологический институт Пресс. стр. 560. ИСБН 9780262048637 .
^ «Мопед» . Университет Штутгарта . Проверено 30 апреля 2021 г.
^ «ДжМопед» . дои : 10.1007/978-3-540-31980-1_35 . {{cite journal}}: Для цитирования журнала требуется |journal= ( помощь )
^ Раввинизатор . два : 10.1007/978-3-642-33386-6_7 . ISBN 9783642333866 . Проверено 30 апреля 2021 г.
^ «Стрикс» . Технический университет Мюнхена . Проверено 30 апреля 2021 г.
^ «Перегрин» . Технический университет Мюнхена . Проверено 30 апреля 2021 г.
^ «Проекты, финансируемые ERC» . Европейский исследовательский совет . Проверено 26 апреля 2021 г.
^ «Хавьер Эспарса – почетные докторские степени, присвоенные МЮ» . Масариков университет . Проверено 26 апреля 2021 г.
^ «Хавьер Эспарса» . Европейская академия . Проверено 26 апреля 2021 г.
^ «Награда Concur Test of Time» . Сайт конференции Qonfest . Проверено 26 апреля 2021 г.
^ «Лучшая статья — премия Петри Нетс» . Сайт ПаВеС . Проверено 26 апреля 2021 г.
^ «Лучшая статья — премия Петри Нетс» . Сайт ПаВеС . Проверено 20 мая 2023 г.
^ «Награда за лучшую бумагу для Paves на SAND'22» . Сайт ПаВеС . Проверено 20 мая 2023 г.
^ «Премия TechInf (информатика)» . Кафедра математики, физики, информатики ТУМ . Проверено 26 апреля 2021 г.
^ «Хавьер Эспарса - Биографическая справка» . Академия Европейская Проверено 26 апреля 2021 г.

Внешние ссылки

[cv-1] Перейти обратно: ^а ^б ^с ^д «Биографическая справка» (PDF) . Технический университет Мюнхена . Проверено 29 апреля 2021 г.

[phd-paper-2] Эспарса Дж., Сильва М. (1991) Об анализе и синтезе систем свободного выбора. Конспект лекций по информатике, том 483. Springer, Berlin, Heidelberg . 1991. стр. 243–286. дои : 10.1007/3-540-53863-1_28 . ISBN 9783540463696 . Проверено 29 апреля 2021 г.

[phd-cit-3] «Цитаты в Google Scholar» . Google Академик . Проверено 29 апреля 2021 г.

[habil-paper-4] Эспарса, Хавьер (декабрь 1994 г.). «Проверка модели с помощью чистых разверток» . Наука компьютерного программирования . 23 (2): 151–195. дои : 10.1016/0167-6423(94)00019-0 . S2CID 29311587 .

[5] «Кеннет Л. Макмиллан» . Вордпресс . Проверено 30 апреля 2021 г.

[6] Йорг Дезель и Хавьер Эспарса (1995), Сети Петри со свободным выбором , Кембриджские трактаты по теоретической информатике, том. 40, Издательство Кембриджского университета, ISBN 9-780-52101945-3

[7] Хавьер Эспарса и Кейо Хельянко (2008), Развертывания – подход частичного порядка к проверке моделей , Монографии EATCS по теоретической информатике, Springer, ISBN 978-3-540-77425-9

[8] «Список публикаций DBLP Хавьера Эспарсы» . Библиография DBLP по информатике . Проверено 26 апреля 2021 г.

[9] Эспарса, Хавьер; Блонден, Майкл (17 октября 2023 г.). Теория автоматов: алгоритмический подход . Массачусетский технологический институт Пресс. стр. 560. ИСБН 9780262048637 .

[10] «Мопед» . Университет Штутгарта . Проверено 30 апреля 2021 г.

[11] «ДжМопед» . дои : 10.1007/978-3-540-31980-1_35 . {{cite journal}}: Для цитирования журнала требуется |journal= ( помощь )

[12] Раввинизатор . два : 10.1007/978-3-642-33386-6_7 . ISBN 9783642333866 . Проверено 30 апреля 2021 г.

[13] «Стрикс» . Технический университет Мюнхена . Проверено 30 апреля 2021 г.

[14] «Перегрин» . Технический университет Мюнхена . Проверено 30 апреля 2021 г.

[15] «Проекты, финансируемые ERC» . Европейский исследовательский совет . Проверено 26 апреля 2021 г.

[16] «Хавьер Эспарса – почетные докторские степени, присвоенные МЮ» . Масариков университет . Проверено 26 апреля 2021 г.

[17] «Хавьер Эспарса» . Европейская академия . Проверено 26 апреля 2021 г.

[18] «Награда Concur Test of Time» . Сайт конференции Qonfest . Проверено 26 апреля 2021 г.

[19] «Лучшая статья — премия Петри Нетс» . Сайт ПаВеС . Проверено 26 апреля 2021 г.

[20] «Лучшая статья — премия Петри Нетс» . Сайт ПаВеС . Проверено 20 мая 2023 г.

[21] «Награда за лучшую бумагу для Paves на SAND'22» . Сайт ПаВеС . Проверено 20 мая 2023 г.

[22] «Премия TechInf (информатика)» . Кафедра математики, физики, информатики ТУМ . Проверено 26 апреля 2021 г.

[23] «Хавьер Эспарса - Биографическая справка» . Академия Европейская Проверено 26 апреля 2021 г.

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

[ 8 ]

[ 9 ]

[ 10 ]

[ 11 ]

[ 12 ]

[ 13 ]

[ 14 ]

[ 15 ]

[ 16 ]

[ 17 ]

[ 18 ]

[ 19 ]

[ 20 ]

[ 21 ]

[ 22 ]

[ 23 ]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Норвегия Германия Израиль Соединенные Штаты Чешская Республика Нидерланды
академики	Ассоциация вычислительной техники ЦиНии ДБЛП Google Академика MathSciNet Проект математической генеалогии ОРЦИД zbMATH
Другой	ИдРеф