Sergiy A. Vilkomir | |
|---|---|
 Sergiy Vilkomir in 2001 | |
| Born | Сергій Адольфович Вілкомір (1956-11-19)19 November 1956 |
| Died | 9 February 2020(2020-02-09) (aged 63) |
| Nationality | Ukrainian |
| Citizenship | United States |
| Alma mater | Kharkov State University,Kharkov Polytechnic Institute |
| Known for | Software testing,formal methods,RC/DC |
| Awards | Google Faculty Research Award (2010–11); East Carolina University Scholar-Teacher Award (2015);UNC Board of Governors Distinguished Professor of Teaching Award (2017). |
| Scientific career | |
| Fields | Computer science |
| Institutions | London South Bank University,University of Wollongong,University of Limerick,University of Tennessee,East Carolina University |
Sergiy A. Vilkomir (November 19, 1956 – February 9, 2020) was aUkrainian-borncomputer scientist.[1]
Sergiy Vilkomir was born in 1956 in present-dayUkraine. He finished Mathematical College at theMoscow State University National Mathematical Boarding High School no. 18[2] (Head-AcademicianA. Kolmogorov, 1972–74), studied for anMSc degree in Mathematics and Mathematics Education atKharkov State University (1974–79), and for aPhD degree atKharkov Polytechnic Institute (1985–90).[1] InKharkiv, Ukraine, he then worked at theUkrainian Polytechnic Institute (1979–82), the Central Institute of Complex Automation (1985–91), the Institute of Safety and Reliability of Technological Systems (1992–93), the Ukrainian State Scientific and Technical Centre on Nuclear and Radiation Safety (part of the Nuclear Safety Regulatory Authority of Ukraine, 1993–2000). His role included licensing and audits of computer-based safety systems atnuclear power plants.
In 2000, Vilkomir moved to the Centre for Applied Formal Methods atLondon South Bank University, becoming a Research Fellow there. He then joined theUniversity of Wollongong inAustralia, also as a Research Fellow.[3] He subsequently worked withDavid Parnas at theUniversity of Limerick inIreland, before moving to theUnited States, initially as Research Associate Professor and theUniversity of Tennessee during 2007–8, then rising to be anassociate professor position atEast Carolina University, which he joined in 2008. There he achievedacademic tenure in 2012 and was Head of the Software Testing Research Group (STRG).[4]
Vilkomir's main research contributions have been in the formalization ofsoftware testing.[5] In particular, he proposedreinforced condition/decision coverage (RC/DC), a stronger version of themodified condition/decision coverage (MC/DC) coverage criterion for software testing insafety-critical systems.[6][7]
Vilkomir was awarded theGoogle Faculty Research Award for 2010–11, the East Carolina University Scholar-Teacher Award in 2015, and theUNC Board of Governors Distinguished Professor of Teaching Award in 2017.[1] He was a Senior Member of both theAssociation for Computing Machinery (ACM, from 2013),[8] and theIEEE.[7]
Sergiy Vilkomir died on February 9, 2020.[9][10] He was married to Tetyana Vilkomir.
{{cite book}}:|journal= ignored (help)