Sergiy Vilkomir

Sergiy A. Vilkomir
Sergiy Vilkomir en 2001
Nacido	Сергій Адольфович Вілкомір ( 19 de noviembre de 1956 )19 de noviembre de 1956 Kramatorsk , Óblast de Stalino , RSS de Ucrania
Fallecido	9 de febrero de 2020 (09-02-2020)(63 años) Carolina del Norte , Estados Unidos
Nacionalidad	ucranio
Ciudadanía	Estados Unidos
Alma máter	Universidad Estatal de Járkov , Instituto Politécnico de Járkov
Conocido por	Pruebas de software , métodos formales , RC/DC
Premios	Premio de investigación de la facultad de Google (2010-2011); Premio Académico-Docente de la Universidad de Carolina del Este (2015); Premio al Profesor Distinguido de Enseñanza de la Junta de Gobernadores de la UNC (2017).
Carrera científica
Campos	Ciencias de la Computación
Instituciones	Universidad de South Bank de Londres , Universidad de Wollongong , Universidad de Limerick , Universidad de Tennessee , Universidad de Carolina del Este

Sergiy A. Vilkomir (19 de noviembre de 1956 - 9 de febrero de 2020) fue un científico informático nacido en Ucrania . ^[1]

Sergiy Vilkomir nació en 1956 en la actual Ucrania . Terminó la Escuela Superior de Matemáticas en el Internado Nacional de Matemáticas n.º 18 de la Universidad Estatal de Moscú ^[2] (Director académico A. Kolmogorov , 1972-74), estudió una maestría en Matemáticas y Educación Matemática en la Universidad Estatal de Járkov (1974-79) y un doctorado en el Instituto Politécnico de Járkov (1985-90). ^[1] En Járkov , Ucrania, trabajó luego en el Instituto Politécnico de Ucrania (1979-82), el Instituto Central de Automatización Compleja (1985-91), el Instituto de Seguridad y Fiabilidad de Sistemas Tecnológicos (1992-93), el Centro Científico y Técnico Estatal de Ucrania sobre Seguridad Nuclear y Radiológica (parte de la Autoridad Reguladora de Seguridad Nuclear de Ucrania, 1993-2000). Su función incluía la concesión de licencias y auditorías de sistemas de seguridad informáticos en centrales nucleares .

En 2000, Vilkomir se trasladó al Centro de Métodos Formales Aplicados de la Universidad South Bank de Londres , donde se convirtió en investigador asociado. Luego se unió a la Universidad de Wollongong en Australia , también como investigador asociado. ^[3] Posteriormente trabajó con David Parnas en la Universidad de Limerick en Irlanda , antes de mudarse a los Estados Unidos , inicialmente como profesor asociado de investigación y la Universidad de Tennessee durante 2007-8, y luego ascendió a un puesto de profesor asociado en la Universidad de East Carolina , a la que se unió en 2008. Allí alcanzó la titularidad académica en 2012 y fue jefe del Grupo de Investigación de Pruebas de Software (STRG). ^[4]

Las principales contribuciones de investigación de Vilkomir han sido en la formalización de las pruebas de software . ^[5] En particular, propuso la cobertura de condición/decisión reforzada (RC/DC), una versión más fuerte del criterio de cobertura de condición/decisión modificada (MC/DC) para las pruebas de software en sistemas críticos para la seguridad . ^{[6] [7]}

Vilkomir recibió el premio Google Faculty Research Award en 2010-2011, el premio East Carolina University Scholar-Teacher Award en 2015 y el premio UNC Board of Governors Distinguished Professor of Teaching Award en 2017. ^[1] Fue miembro senior de la Association for Computing Machinery (ACM, desde 2013), ^[8] y del IEEE . ^[7]

Sergiy Vilkomir murió el 9 de febrero de 2020. ^{[9] [10]} Estaba casado con Tetyana Vilkomir.

• Vilkomir, SA; Bowen, JP (2001). "Formalización de criterios de prueba de software utilizando la notación Z". 25.ª Conferencia Anual Internacional de Aplicaciones y Software Informático. COMPSAC 2001. IEEE . pp. 351–356. doi :10.1109/CMPSAC.2001.960638. ISBN . 0-7695-1372-7.S2CID1224201  .​
• Vilkomir, SA; Bowen, JP (2002). Cobertura de decisión/condición reforzada (RC/DC): un nuevo criterio para pruebas de software . Notas de clase en informática . Vol. 2272. Springer-Verlag . Págs. 291–308. doi :10.1007/3-540-45648-1_15. ISBN. 978-3-540-43166-4. {{cite book}}: |journal=ignorado ( ayuda )
• Vilkomir, SA; Kapoor, K.; Bowen, JP (2003). "Tolerancia de los criterios de prueba de flujo de control". Actas de la 27.ª Conferencia anual internacional sobre software y aplicaciones informáticas. COMPAC 2003. IEEE . págs. 182–187. doi :10.1109/CMPSAC.2003.1245339. ISBN. 0-7695-2020-0. Número de identificación del sujeto  178608.
• Baber, RL; Parnas, DL ; Vilkomir, SA; Harrison, P.; O'Connor, T. (2005). "Métodos disciplinados de especificación de software: un estudio de caso". Conferencia internacional sobre tecnología de la información: codificación y computación (ITCC'05) - Volumen II . Vol. II. IEEE . págs. 428–437. Vol. 2. doi :10.1109/ITCC.2005.132. ISBN. 0-7695-2315-3. Número de identificación del sujeto  17982307.
• Vilkomir, SA; Bowen, JP (2006). "De MC/DC a RC/DC: formalización y análisis de criterios de prueba de flujo de control". Aspectos formales de la informática . 18 (1). Springer Nature : 42–62. doi : 10.1007/s00165-005-0084-7 . S2CID  10467796.
• Hierons, RM; Bogdanov, K.; Bowen, JP ; Cleaveland, R.; Derrick, J.; Dick, J.; Gheorghe, M.; Harman, M .; Kapoor, K.; Krause, P.; Lüttgen, G.; Simons, AJH; Vilkomir, SA; Woodward, MR; Zedan, H. (2009). "Uso de especificaciones formales para respaldar las pruebas". Encuestas de computación de la ACM . 41 (2). Asociación para la maquinaria informática : 1–76. doi :10.1145/1459352.1459354. S2CID  10686134.

• Página de inicio de Sergiy Vilkomir
• Página personal de Sergiy Vilkomir
• Sergiy Vilkomir en ResearchGate
• Sergiy A. Vilkomir sobre DBLP
• Publicaciones de Sergiy Vilkomir indexadas en Google Scholar