Sergiy A. Vilkomir (November 19, 1956 – February 9, 2020) was a
Ukrainian
Ukrainian may refer to:
* Something of, from, or related to Ukraine
* Something relating to Ukrainians, an East Slavic people from Eastern Europe
* Something relating to demographics of Ukraine in terms of demography and population of Ukraine
* So ...
-born
computer scientist
A computer scientist is a person who is trained in the academic study of computer science.
Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...
.
Sergiy Vilkomir was born in 1956 in present-day
Ukraine
Ukraine ( uk, Україна, Ukraïna, ) is a country in Eastern Europe. It is the second-largest European country after Russia, which it borders to the east and northeast. Ukraine covers approximately . Prior to the ongoing Russian inv ...
. He finished Mathematical College at the Moscow State University National Mathematical Boarding High School no. 18 (Head-Academician A. Kolmogorov, 1972–74), studied for an MSc degree in Mathematics and Mathematics Education at
Kharkov State University
The Kharkiv University or Karazin University ( uk, Каразінський університет), or officially V. N. Karazin Kharkiv National University ( uk, Харківський національний університет імені ...
(1974–79), and for a
PhD degree
A Doctor of Philosophy (PhD, Ph.D., or DPhil; Latin: or ') is the most common degree at the highest academic level awarded following a course of study. PhDs are awarded for programs across the whole breadth of academic fields. Because it is a ...
Kharkiv
Kharkiv ( uk, wikt:Харків, Ха́рків, ), also known as Kharkov (russian: Харькoв, ), is the second-largest List of cities in Ukraine, city and List of hromadas of Ukraine, municipality in Ukraine.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
Nuclear power is the use of nuclear reactions to produce electricity. Nuclear power can be obtained from nuclear fission, nuclear decay and nuclear fusion reactions. Presently, the vast majority of electricity from nuclear power is produced b ...
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
The University of Wollongong (abbreviated as UOW) is an Australian public research university located in the coastal city of Wollongong, New South Wales, approximately 80 kilometres south of Sydney. As of 2017, the university had an enrolment of ...
in
Australia
Australia, officially the Commonwealth of Australia, is a Sovereign state, sovereign country comprising the mainland of the Australia (continent), Australian continent, the island of Tasmania, and numerous List of islands of Australia, sma ...
, also as a Research Fellow. He subsequently worked with
David Parnas
David Lorge Parnas (born February 10, 1941) is a Canadian early pioneer of software engineering, who developed the concept of information hiding in modular programming, which is an important element of object-oriented programming today. He is al ...
Ireland
Ireland ( ; ga, Éire ; Ulster Scots dialect, Ulster-Scots: ) is an island in the Atlantic Ocean, North Atlantic Ocean, in Northwestern Europe, north-western Europe. It is separated from Great Britain to its east by the North Channel (Grea ...
, before moving to the
United States
The United States of America (U.S.A. or USA), commonly known as the United States (U.S. or US) or America, is a country primarily located in North America. It consists of 50 states, a federal district, five major unincorporated territorie ...
, initially as Research Associate Professor and the
University of Tennessee
The University of Tennessee (officially The University of Tennessee, Knoxville; or UT Knoxville; UTK; or UT) is a public land-grant research university in Knoxville, Tennessee. Founded in 1794, two years before Tennessee became the 16th state, ...
during 2007–8, then rising to be an
associate professor
Associate professor is an academic title with two principal meanings: in the North American system and that of the ''Commonwealth system''.
Overview
In the ''North American system'', used in the United States and many other countries, it is a ...
position at
East Carolina University
East Carolina University (ECU) is a public university, public research university in Greenville, North Carolina. It is the fourth largest university in North Carolina.
Founded on March 8, 1907, as a Normal school, teacher training school, East ...
, which he joined in 2008. There he achieved academic tenure in 2012 and was Head of the Software Testing Research Group (STRG).
Vilkomir's main research contributions have been in the formalization of
software testing
Software testing is the act of examining the artifacts and the behavior of the software under test by validation and verification. Software testing can also provide an objective, independent view of the software to allow the business to apprecia ...
modified condition/decision coverage Modified condition/decision coverage (MC/DC) is a code coverage criterion used in software testing.
Overview
MC/DC requires all of the below during testing:
#Each entry and exit point is invoked
#Each decision takes every possible outcome
#Each co ...
(MC/DC) coverage criterion for software testing in
safety-critical system
A safety-critical system (SCS) or life-critical system is a system whose failure or malfunction may result in one (or more) of the following outcomes:
* death or serious injury to people
* loss or severe damage to equipment/property
* environme ...
s.
Vilkomir was awarded the
Google
Google LLC () is an American multinational technology company focusing on search engine technology, online advertising, cloud computing, computer software, quantum computing, e-commerce, artificial intelligence, and consumer electronics. ...
Faculty Research Award for 2010–11, the East Carolina University Scholar-Teacher Award in 2015, and the
UNC UNC is a three-letter abbreviation that may refer to:
Education
* University of Northern California (disambiguation), which may refer to:
** University of Northern California (Santa Rosa), in Petaluma, California, United States
** University of Nor ...
Board of Governors Distinguished Professor of Teaching Award in 2017. He was a Senior Member of both the
Association for Computing Machinery
The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional member ...
(ACM, from 2013), and the
IEEE
The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New York City and its operation ...
.
Sergiy Vilkomir died on February 9, 2020. He was married to Tetyana Vilkomir.
ResearchGate
ResearchGate is a European commercial social networking site for scientists and researchers to share papers, ask and answer questions, and find collaborators. According to a 2014 study by ''Nature'' and a 2016 article in ''Times Higher Education'' ...