Sergiy Vilkomir

Científico informático nacido en Ucrania (1956-2020)

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.

Publicaciones seleccionadas

• 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 . Lecture Notes in Computer Science . 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.

Referencias

1. "Dr. Sergiy Vilkomir – Experiencia". Archive.org . Universidad de Carolina del Este . Archivado desde el original el 12 de febrero de 2020 . Consultado el 12 de febrero de 2020 .
2. "Historia". AESC MSU – Kolmogorov Boarding School . Rusia: Universidad Estatal de Moscú . Archivado desde el original el 24 de septiembre de 2020. Consultado el 20 de septiembre de 2020 en Archive.org .
3. "Dr. Sergiy Vilkomir". Archive.org . Australia: Universidad de Wollongong . 2003. Archivado desde el original el 19 de julio de 2003 . Consultado el 12 de febrero de 2020 .
4. "Nuestros miembros". Grupo de investigación de pruebas de software (STRG) . Departamento de Ciencias de la Computación, Universidad de Carolina del Este . Archivado desde el original el 12 de febrero de 2020. Consultado el 12 de febrero de 2020 en Archive.org .
5. Hierons, RM; et al. (2009). "Uso de especificaciones formales para respaldar las pruebas". ACM Computing Surveys . 41 (2): 1–76. doi :10.1145/1459352.1459354. S2CID  10686134.
6. 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): 42–62. doi : 10.1007/s00165-005-0084-7 . S2CID  10467796.
7. "Miembros afiliados". Centro de investigación avanzada para pruebas de software y garantía de calidad (STQA) . Universidad de Texas en Dallas . Consultado el 12 de febrero de 2020 .
8. "Sergiy Vilkomir, miembro senior de la ACM (2013)". Association for Computing Machinery . 2013 . Consultado el 12 de febrero de 2020 .
9. Eshelman, Bonnie (11 de febrero de 2020), "Condolencias a la familia del Dr. Sergiy Vilkomir", Facultad de Ingeniería y Tecnología , Carolina del Norte, EE. UU.: East Carolina University
10. Bowen, Jonathan P. (junio de 2020). "In Memoriam: Un homenaje a cinco colegas de métodos formales" (PDF) . FACS FACTS . 2020 (1). BCS-FACS : 13–29. doi :10.13140/RG.2.2.13481.62560.

Enlaces externos

• 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