Loading AI tools
Ukrainian-born computer scientist (1956–2020) From Wikipedia, the free encyclopedia
Sergiy A. Vilkomir (November 19, 1956 – February 9, 2020) was a Ukrainian-born computer scientist.[1]
Sergiy A. Vilkomir | |
|---|---|
Sergiy Vilkomir in 2001 | |
| Born | Сергій Адольфович Вілкомір 19 November 1956 |
| Died | 9 February 2020 (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 Vilkomir was born in 1956 in present-day Ukraine. He finished Mathematical College at the Moscow State University National Mathematical Boarding High School no. 18[2] (Head-Academician A. Kolmogorov, 1972–74), studied for an MSc degree in Mathematics and Mathematics Education at Kharkov State University (1974–79), and for a PhD degree at Kharkov Polytechnic Institute (1985–90).[1] In Kharkiv, Ukraine, he then 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). 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 software testing.[5] In particular, he proposed 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 Google Faculty Research Award for 2010–11, the East Carolina University Scholar-Teacher Award in 2015, and the UNC Board of Governors Distinguished Professor of Teaching Award in 2017.[1] He was a Senior Member of both the Association for Computing Machinery (ACM, from 2013),[8] and the IEEE.[7]
Sergiy Vilkomir died on February 9, 2020.[9][10] He was married to Tetyana Vilkomir.
{{cite book}}: |journal= ignored (help)Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
