Sergiy A. Vilkomir (November 19, 1956 – February 9, 2020) was a Ukrainian-born American computer scientist.[1] His career focused in software testing.[2]
He worked at the 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).
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 was a Research Associate Professor and the University of Tennessee during 2007–8. Later becoming an associate professor position at East Carolina University, which he joined in 2008.[4]
He died on February 9, 2020.[5][6]
- ↑ "Dr. Sergiy Vilkomir – Experience". East Carolina University. Archived from the original on June 5, 2019. Retrieved February 12, 2020.
- ↑ Hierons, R.M.; et al. (2009). "Using formal specifications to support testing". ACM Computing Surveys (CSUR). 41 (2): 1–76. doi:10.1145/1459352.1459354. S2CID 10686134.
- ↑ "Dr. Sergiy Vilkomir". Archive.org. Australia: University of Wollongong. 2003. Archived from the original on 2003-07-19. Retrieved February 12, 2020.
- ↑ "Our Members". Software Testing Research Group (STRG). Department of Computer Science, East Carolina University. Archived from the original on September 5, 2019. Retrieved February 12, 2020.
- ↑ Eshelman, Bonnie (February 11, 2020), "Condolences to family of Dr. Sergiy Vilkomir", College of Engineering and Technology, North Carolina, USA: East Carolina University
- ↑ Bowen, Jonathan P. (June 2020). "In Memoriam: A tribute to five formal methods colleagues" (PDF). FACS FACTS. 2020 (1). BCS-FACS: 13–29. doi:10.13140/RG.2.2.13481.62560.