HOME

TheInfoList



OR:

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 ...
at Kharkov Polytechnic Institute (1985–90). In
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 ...
at the University of Limerick in
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 ...
. In particular, he proposed reinforced condition/decision coverage (RC/DC), a stronger version of the
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.


Selected publications

* * * * * *


References


External links


Sergiy Vilkomir home page

Sergiy Vilkomir personal page

Sergiy Vilkomir
on
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'' ...

Sergiy A. Vilkomir
on DBLP * {{DEFAULTSORT:Vilkomir, Sergiy 1956 births 2020 deaths People from Kramatorsk 20th-century Ukrainian scientists 21st-century Ukrainian scientists Moscow State University alumni National University of Kharkiv alumni Kharkiv Polytechnic Institute alumni Ukrainian computer scientists Ukrainian expatriates in the United States American computer scientists Formal methods people Software engineering researchers Academics of London South Bank University Academic staff of the University of Wollongong Academics of the University of Limerick University of Tennessee faculty East Carolina University faculty Senior Members of the ACM Senior Members of the IEEE