Sergiy Vilkomir
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]
Related pages
References
- ↑ Dr. Sergiy Vilkomir – ExperienceEast Carolina University. Retrieved February 12, 2020.
- ↑ Hierons, R.M.. Using formal specifications to support testing. ACM Computing Surveys (CSUR) 41 (2) (2009). p. 1–76. doi:10.1145/1459352.1459354.
- ↑ Dr. Sergiy Vilkomir. Archive.org (2003). Australia: University of Wollongong. Retrieved February 12, 2020.
- ↑ Our Members. Software Testing Research Group (STRG)Department of Computer Science, East Carolina University. Retrieved February 12, 2020.
- ↑ Eshelman, Bonnie. Condolences to family of Dr. Sergiy Vilkomir. College of Engineering and Technology (February 11, 2020). North Carolina, USA: East Carolina University.
- ↑ Bowen, Jonathan P.. In Memoriam: A tribute to five formal methods colleagues. FACS FACTS 2020 (1) (June 2020)BCS-FACS. p. 13–29. doi:10.13140/RG.2.2.13481.62560.