Тициана Маргария
Тициана Маргария | |
|---|---|
 Тициана Маргария, 2014 г. | |
| Рожденный | 14 октября 1964 г. |
| Национальность | итальянский |
| Научная карьера | |
| Поля | Формальные методы , Модельно-ориентированное проектирование |
| Учреждения | Университет Лимерика , Леро |
Тициана Маргария (1964 г.р.) — ученый-компьютерщик и инженер-программист , чьи темы исследований включают формальные методы и проектирование, основанное на моделях . Получив образование в Италии, она работала в Италии, Германии, Швеции и Ирландии, а в настоящее время работает в Ирландии заведующим кафедрой программных систем на Университета Лимерика факультете компьютерных наук и информационных систем .
Биография
[ редактировать ]Тициана родилась в 1964 году. [1] После окончания средней школы в Liceo Scientifico Gino Segre в Турине Маргария училась на степень бакалавра в области электронной инженерии в Туринском политехническом университете , который она закончила в 1988 году. Она защитила докторскую диссертацию. там в 1993 году он защитил диссертацию Verifica formale della correttezza del progetto di sistemi digitali . [2]
Одновременно она работала преподавателем в Университете Удине с 1988 по 1991 год, а с 1991 по 1993 год была приглашенным исследователем в RWTH Ахенском университете. С 1993 по 1998 год она работала научным сотрудником в Университете Пассау , работая там с Кристианом Ленгауэром. . [2] В 1997 году она стала соредактором-основателем Международного журнала по программным средствам для передачи технологий . [3] Она продолжала работать научным сотрудником в Техническом университете Дортмунда с 1998 по 2004 год, а также работала приглашенным профессором в Швеции в Уппсальском университете с 1999 по 2000 год. [2]
В 2004 году она получила постоянную должность профессора сервисного инжиниринга распределенных систем в Геттингенском университете . [2] В 2006 году она перешла в Потсдамский университет на должность кафедры сервисного обслуживания и разработки программного обеспечения. [4] В 2015 году она снова переехала в Университет Лимерика и Леро , Ирландский исследовательский центр программного обеспечения Научного фонда в Лимерике. [5] где она является председателем отдела программных систем. [6]
В июле 2023 года она была избрана новым президентом Любекского университета , Любек, Германия. [7] В феврале 2024 года за нее проголосовал сенат Любекского университета . [8]
Работа
[ редактировать ]Маргария — научный сотрудник и нынешний вице-президент Ирландского компьютерного общества , а также член Общества дизайна и технологических процессов. [6]
Она является членом совета рабочей группы ERCIM по формальным методам для промышленных критических систем (FMICS). [9] является членом руководящего комитета Европейской совместной конференции по теории и практике программного обеспечения (ETAPS), [10] и является заместителем председателя рабочей группы по проектированию и проектированию электронных систем Международной федерации обработки информации (IFIP). [11]
Она является содиректором Научного фонда Ирландии и Центра исследовательской подготовки в области искусственного интеллекта в Ирландии . [12]
Она основала журнал «Электронные коммуникации Европейской ассоциации программных наук и технологий» (ECEASST). [ нужна ссылка ] и является членом Общества дизайна и технологических процессов (SDPS). [13]
Совсем недавно она возглавляла проект R@ISE, программу стратегического партнерства Научного фонда Ирландии по разработке программного обеспечения с низким кодом и без кода для программного обеспечения с высокой степенью надежности в сотрудничестве с софинансирующими промышленными партнерами и городским и окружным советом Лимерика . [14] [15]
Ссылки
[ редактировать ]- ↑ Год рождения из записи в каталоге Библиотеки Конгресса , получено 26 марта 2023 г.
- ^ Jump up to: Перейти обратно: а б с д Биографическая справка (PDF) (на немецком языке), Потсдамский университет , получено 26 марта 2023 г.
- ^ Кливленд, В. Рэнс; Маргария, Тициана; Штеффен, Бернхард (декабрь 1997 г.), «Редакционная статья», Международный журнал по программным инструментам для передачи технологий , 1 (1–2): 1–5, doi : 10.1007/s100090050001 , S2CID 214764664
- ^ Сервисная и программная инженерия: Председатель с 15.03.2006 по 30.09.2014: Проф., д.т.н. Тициана Маргария-Штеффен , Потсдамский университет , получено 26 марта 2023 г.
- ^ О'Горман, Гэвин (7 января 2015 г.), «Усиление развития центра Леро на базе UL по мере присоединения звезды программного обеспечения» , Limerick Leader , получено 26 марта 2023 г.
- ^ Jump up to: Перейти обратно: а б Профессор Тициана Маргария , Научно-исследовательский институт здравоохранения Университета Лимерика, 18 января 2019 г. , получено 26 марта 2023 г.
- ^ «Будущий президент профессор доктор Тициана Маргария: Университет Любека» .
- ^ «Президент Любекского университета проголосовал против: Сенат назначает новым президентом кандидата, занявшего второе место» .
- ^ Совет FMICS Рабочей группы ERCIM по формальным методам для промышленных критических систем , по состоянию на 24 мая 2023 г.
- ↑ Руководящий комитет ETAPS , по состоянию на 24 мая 2023 г.
- ^ Рабочая группа 10.5 Проектирование и проектирование электронных систем , по состоянию на 24 мая 2023 г.
- ↑ Центр исследовательской подготовки ИИ руководящей группы , по состоянию на 24 мая 2023 г.
- ^ Общество стипендиатов дизайна и технологических процессов , по состоянию на 24 мая 2023 г.
- ^ Домашняя страница проекта R@ise , по состоянию на 24 мая 2023 г.
- ↑ Science Foundation Ireland News, 4 апреля 2023 г. , по состоянию на 24 мая 2023 г.
Внешние ссылки
[ редактировать ]
- Живые люди
- Итальянские ученые-компьютерщики
- Итальянские женщины-компьютерщики
- Исследователи в области программной инженерии
- Выпускники Туринского политехнического университета
- Академический состав Университета Удине
- Академический состав Геттингенского университета
- Академический состав Потсдамского университета
- Академики Университета Лимерика
- 1964 года рождения