Сергей Вилкомир
Сергей Александрович Вилкомир | |
|---|---|
 Сергей Вилкомир в 2001 году. | |
| Рожденный | Сергей Адольфович Вилкомер 19 ноября 1956 г. |
| Умер | 9 февраля 2020 г. (63 года) |
| Национальность | Украинский |
| Гражданство | Соединенные Штаты |
| Альма-матер | Харьковский государственный университет , Харьковский политехнический институт |
| Известный | Тестирование программного обеспечения , формальные методы , RC/DC |
| Награды | Премия факультета Google за исследования (2010–2011 гг.); Премия стипендиата-преподавателя Университета Восточной Каролины (2015 г.); UNC заслуженному профессору педагогической деятельности (2017 г.). Премия Совета управляющих |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Лондонский университет Саут-Бэнк , Университет Вуллонгонга , Университет Лимерика , Университет Теннесси , Университет Восточной Каролины |
Сергей А. Вилкомир (19 ноября 1956 — 9 февраля 2020) — украинского происхождения учёный-компьютерщик . [1]
Сергей Вилкомир родился в 1956 году на территории современной Украины . Окончил математический колледж при МГУ Национальной математической средней школе-интернате № 1 . 18 [2] (руководитель академик А. Колмогоров , 1972–74), учился на степень магистра математики и математического образования в Харьковском государственном университете (1974–79), а также на степень доктора философии в Харьковском политехническом институте (1985–90). [1] В Харькове , Украина, затем работал в Украинском политехническом институте (1979–82), Центральном институте комплексной автоматизации (1985–91), Институте безопасности и надежности технологических систем (1992–93), Украинском государственном научном институте. и Технический центр по ядерной и радиационной безопасности (входит в состав Службы регулирования ядерной безопасности Украины, 1993–2000 гг.). В его обязанности входило лицензирование и аудит компьютерных систем безопасности на атомных электростанциях.
В 2000 году Вилкомир перешёл в Центр прикладных формальных методов лондонского университета Саут-Бэнк , став там научным сотрудником. Затем он поступил в Университет Вуллонгонга в Австралии , также в качестве научного сотрудника. [3] Впоследствии он работал с Дэвидом Парнасом в Университете Лимерика в Ирландии , а затем переехал в Соединенные Штаты , сначала в качестве доцента-исследователя в Университете Теннесси в 2007–2008 годах, а затем поднялся до должности доцента в Университете Восточной Каролины , который он присоединился к нам в 2008 году. Там он получил академическую должность в 2012 году и возглавил исследовательскую группу по тестированию программного обеспечения (STRG). [4]
Основной исследовательский вклад Вилкомир связан с формализацией тестирования программного обеспечения . [5] В частности, он предложил усиленное покрытие условий/решений (RC/DC), более строгую версию модифицированного критерия покрытия условий/решений (MC/DC) для тестирования программного обеспечения в критически важных для безопасности системах . [6] [7]
Вилкомир был награжден премией Google за исследования факультета в 2010–2011 годах, премией стипендиата-преподавателя Университета Восточной Каролины в 2015 году и премией Совета управляющих UNC заслуженного профессора преподавания в 2017 году. [1] Он был старшим членом Ассоциации вычислительной техники (ACM, с 2013 г.), [8] и IEEE . [7]
Сергей Вилкомир умер 9 февраля 2020 года. [9] [10] Был женат на Татьяне Вилкомир.
Избранные публикации
[ редактировать ]- Вилкомир, С.А.; Боуэн, JP (2001). «Формализация критериев тестирования программного обеспечения с использованием Z-нотации». 25-я ежегодная международная конференция по компьютерному программному обеспечению и приложениям. КОМПСАК 2001 . ИИЭЭ . стр. 351–356. дои : 10.1109/CMPSAC.2001.960638 . ISBN 0-7695-1372-7 . S2CID 1224201 .
- Вилкомир, С.А.; Боуэн, JP (2002). Усиленное покрытие условий/решений (RC/DC): новый критерий тестирования программного обеспечения . Конспекты лекций по информатике . Том. 2272. Шпрингер-Верлаг . стр. 291–308. дои : 10.1007/3-540-45648-1_15 . ISBN 978-3-540-43166-4 .
{{cite book}}:|journal=игнорируется ( помогите ) - Вилкомир, С.А.; Капур, К.; Боуэн, JP (2003). «Допуск критериев тестирования потока управления» . Материалы 27-й ежегодной международной конференции по компьютерному программному обеспечению и приложениям. КОМПАК 2003 . ИИЭЭ . стр. 182–187. дои : 10.1109/CMPSAC.2003.1245339 . ISBN 0-7695-2020-0 . S2CID 178608 .
- Бабер, РЛ; Парнас, ДЛ ; Вилкомир, С.А.; Харрисон, П.; О'Коннор, Т. (2005). «Дисциплинированные методы спецификации программного обеспечения: практический пример». Международная конференция по информационным технологиям: кодирование и вычисления (ITCC'05) - Том II . Том. II. ИИЭЭ . С. 428–437 Том. 2. дои : 10.1109/ITCC.2005.132 . ISBN 0-7695-2315-3 . S2CID 17982307 .
- Вилкомир, С.А.; Боуэн, JP (2006). «От MC/DC к RC/DC: формализация и анализ критериев тестирования потока управления» . Формальные аспекты вычислений . 18 (1). Спрингер Природа : 42–62. дои : 10.1007/s00165-005-0084-7 . S2CID 10467796 .
- Хиеронс, Р.М.; Богданов К.; Боуэн, Япония ; Кливленд, Р.; Деррик, Дж.; Дик, Дж.; Георге, М.; Харман, М .; Капур, К.; Краузе, П.; Люттген, Г.; Саймонс, AJH; Вилкомир, С.А.; Вудворд, MR; Зедан, Х. (2009). «Использование формальных спецификаций для поддержки тестирования» . Обзоры вычислительной техники ACM . 41 (2). Ассоциация вычислительной техники : 1–76. дои : 10.1145/1459352.1459354 . S2CID 10686134 .
Ссылки
[ редактировать ]- ^ Перейти обратно: а б с «Доктор Сергей Вилькомир – Опыт» . Архив.орг . Университет Восточной Каролины . Архивировано из оригинала 12 февраля 2020 года . Проверено 12 февраля 2020 г.
- ^ «История» . АОНЦ МГУ – Колмогоровская школа-интернат . Россия: Московский государственный университет . Архивировано из оригинала 24 сентября 2020 года . Проверено 20 сентября 2020 г. - через Archive.org .
- ^ «Доктор Сергей Вилкомир» . Архив.орг . Австралия: Университет Вуллонгонга . 2003. Архивировано из оригинала 19 июля 2003 года . Проверено 12 февраля 2020 г.
- ^ «Наши участники» . Группа исследований тестирования программного обеспечения (STRG) . Департамент компьютерных наук Университета Восточной Каролины . Архивировано из оригинала 12 февраля 2020 года . Проверено 12 февраля 2020 г. - через Archive.org .
- ^ Хиеронс, Р.М.; и др. (2009). «Использование формальных спецификаций для поддержки тестирования» . Обзоры вычислительной техники ACM . 41 (2): 1–76. дои : 10.1145/1459352.1459354 . S2CID 10686134 .
- ^ Вилкомир, С.А.; Боуэн, JP (2006). «От MC/DC к RC/DC: формализация и анализ критериев тестирования потока управления» . Формальные аспекты вычислений . 18 (1): 42–62. дои : 10.1007/s00165-005-0084-7 . S2CID 10467796 .
- ^ Перейти обратно: а б «Аффилированные члены» . Центр перспективных исследований тестирования программного обеспечения и обеспечения качества (STQA) . Техасский университет в Далласе . Проверено 12 февраля 2020 г.
- ^ «Сергей Вилкомир, старший член ACM (2013)» . Ассоциация вычислительной техники . 2013 . Проверено 12 февраля 2020 г.
- ^ Эшельман, Бонни (11 февраля 2020 г.), «Соболезнования семье доктора Сергея Вилкомира», Инженерно-технологический колледж , Северная Каролина, США: Университет Восточной Каролины
- ^ Боуэн, Джонатан П. (июнь 2020 г.). «В память: дань уважения пяти коллегам по формальным методам» (PDF) . ФАКТЫ ФАКС . 2020 (1). БКС-FACS : 13–29. дои : 10.13140/RG.2.2.13481.62560 .
Внешние ссылки
[ редактировать ]
- 1956 рождений
- 2020 смертей
- Люди из Краматорска
- Украинские учёные ХХ века
- Украинские учёные XXI века
- Выпускники МГУ
- Выпускники Харьковского национального университета
- Выпускники Харьковского политехнического института
- Украинские компьютерщики
- Украинские эмигранты в США
- Американские ученые-компьютерщики
- Формальные методы люди
- Исследователи в области программной инженерии
- Преподаватели Лондонского университета Саут-Бэнк
- Академический состав Университета Вуллонгонга
- Академики Университета Лимерика
- Факультет Университета Теннесси
- Преподаватели Университета Восточной Каролины
- Старшие члены ACM
- Старшие члены IEEE