Сергей Вилкомир

Ученый-компьютерщик украинского происхождения (1956–2020).

Сергей А. Вилкомир (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.

Рекомендации

1. "Доктор Сергей Вилкомир - Опыт". Архив.орг . Университет Восточной Каролины . Архивировано из оригинала 12 февраля 2020 года . Проверено 12 февраля 2020 г.
2. «История». АОНЦ МГУ – Колмогоровская школа-интернат . Россия: Московский государственный университет . Архивировано из оригинала 24 сентября 2020 года . Проверено 20 сентября 2020 г. - через Archive.org .
3. "Доктор Сергей Вилкомир". Архив.орг . Австралия: Университет Вуллонгонга . 2003. Архивировано из оригинала 19 июля 2003 года . Проверено 12 февраля 2020 г.
4. «Наши участники». Группа исследований тестирования программного обеспечения (STRG) . Департамент компьютерных наук Университета Восточной Каролины . Архивировано из оригинала 12 февраля 2020 года . Проверено 12 февраля 2020 г. - через Archive.org .
5. Хиеронс, РМ; и другие. (2009). «Использование формальных спецификаций для поддержки тестирования». Обзоры вычислительной техники ACM . 41 (2): 1–76. дои : 10.1145/1459352.1459354. S2CID  10686134.
6. Вилкомир, С.А.; Боуэн, JP (2006). «От MC/DC к RC/DC: формализация и анализ критериев тестирования потока управления». Формальные аспекты вычислений . 18 (1): 42–62. дои : 10.1007/s00165-005-0084-7 . S2CID  10467796.
7. «Аффилированные члены». Центр перспективных исследований тестирования программного обеспечения и обеспечения качества (STQA) . Техасский университет в Далласе . Проверено 12 февраля 2020 г.
8. «Сергей Вилкомир, старший член ACM (2013)» . Ассоциация вычислительной техники . 2013 . Проверено 12 февраля 2020 г.
9. Эшельман, Бонни (11 февраля 2020 г.), «Соболезнования семье доктора Сергея Вилкомира», Инженерно-технологический колледж , Северная Каролина, США: Университет Восточной Каролины
10. Боуэн, Джонатан П. (июнь 2020 г.). «В память: дань уважения пяти коллегам по формальным методам» (PDF) . ФАКТЫ ФАКС . БКС-ФАКС . 2020 (1): 13–29. дои : 10.13140/RG.2.2.13481.62560.

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

• Домашняя страница Сергея Вилкомира
• Персональная страница Сергея Вилкомира
• Сергей Вилкомир на ResearchGate
• Сергей А. Вилкомир на DBLP
• Публикации Сергея Вилкомира индексируются Google Scholar