Sergiy Vilkomir

Source: Wikipedia, the free encyclopedia.

Sergiy A. Vilkomir
RC/DC
AwardsGoogle Faculty Research Award (2010–11); East Carolina University Scholar-Teacher Award (2015); UNC Board of Governors Distinguished Professor of Teaching Award (2017).
Scientific career
FieldsComputer science
InstitutionsLondon 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 a Ukrainian-born computer scientist.[1]

Sergiy Vilkomir was born in 1956 in present-day

Ukrainian 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 at nuclear power
plants.

In 2000, Vilkomir moved to the Centre for Applied Formal Methods at London South Bank University, becoming a Research Fellow there. He then joined the University of Wollongong in Australia, also as a Research Fellow.[3] He subsequently worked with David Parnas at the University of Limerick in Ireland, before moving to the United States, initially as Research Associate Professor and the University of Tennessee during 2007–8, then rising to be an associate professor position at East Carolina University, which he joined in 2008. There he achieved academic tenure in 2012 and was Head of the Software Testing Research Group (STRG).[4]

Vilkomir's main research contributions have been in the formalization of

reinforced condition/decision coverage (RC/DC), a stronger version of the modified condition/decision coverage (MC/DC) coverage criterion for software testing in safety-critical systems.[6][7]

Vilkomir was awarded the

IEEE.[7]

Sergiy Vilkomir died on February 9, 2020.[9][10] He was married to Tetyana Vilkomir.

Selected publications

  • Vilkomir, S.A.;
    S2CID 1224201
    .
  • Vilkomir, S.A.;
    ISBN 978-3-540-43166-4. {{cite book}}: |journal= ignored (help
    )
  • Vilkomir, S.A.; Kapoor, K.;
    S2CID 178608
    .
  • Baber, R.L.;
    S2CID 17982307
    .
  • Vilkomir, S.A.;
    S2CID 10467796
    .
  • Hierons, R.M.; Bogdanov, K.;
    S2CID 10686134
    .

References

  1. ^
    Archive.org. East Carolina University. Archived from the original
    on 12 February 2020. Retrieved 12 February 2020.
  2. Archive.org
    .
  3. Archive.org. Australia: University of Wollongong. 2003. Archived from the original
    on 19 July 2003. Retrieved 12 February 2020.
  4. Archive.org
    .
  5. S2CID 10686134
    .
  6. S2CID 10467796
    .
  7. ^ a b "Affiliated Members". Advanced Research Centre for Software Testing and Quality Assurance (STQA). University of Texas at Dallas. Retrieved 12 February 2020.
  8. ^ "Sergiy Vilkomir, ACM Senior Member (2013)". Association for Computing Machinery. 2013. Retrieved 12 February 2020.
  9. ^ Eshelman, Bonnie (11 February 2020), "Condolences to family of Dr. Sergiy Vilkomir", College of Engineering and Technology, North Carolina, USA: East Carolina University
  10. doi:10.13140/RG.2.2.13481.62560
    .
Retrieved from "https://en.wikipedia.org/w/index.php?title=Sergiy_Vilkomir&oldid=1245477890"