Sergiy A. Vilkomir (; November 19, 1956 – February 9, 2020) was a Ukrainian-born

computer scientist A computer scientist is a scientist who specializes in the academic study of computer science. Computer scientists typically work on the theoretical side of computation. Although computer scientists can also focus their work and research on ...

. Sergiy Vilkomir was born in 1956 in present-day

Ukraine Ukraine is a country in Eastern Europe. It is the List of European countries by area, second-largest country in Europe after Russia, which Russia–Ukraine border, borders it to the east and northeast. Ukraine also borders Belarus to the nor ...

. He finished Mathematical College at the

Moscow State University Moscow State University (MSU), officially M. V. Lomonosov Moscow State University,. is a public university, public research university in Moscow, Russia. The university includes 15 research institutes, 43 faculties, more than 300 departments, a ...

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 (1974–79), and for a

PhD degree A Doctor of Philosophy (PhD, DPhil; or ) is a terminal degree that usually denotes the highest level of academic achievement in a given discipline and is awarded following a course of graduate study and original research. The name of the deg ...

at Kharkov Polytechnic Institute (1985–90). In

Kharkiv Kharkiv, also known as Kharkov, is the second-largest List of cities in Ukraine, city in Ukraine.

, 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 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 by ...

plants. In 2000, Vilkomir moved to the Centre for Applied Formal Methods at

London South Bank University London South Bank University (LSBU) is a public university in Elephant and Castle, London. It is based in the London Borough of Southwark, near the South Bank of the River Thames, from which it takes its name. Founded in 1892 as the Borough Po ...

, becoming a Research Fellow there. He then joined the

University of Wollongong The University of Wollongong (UOW) is an Australian public university, public research university located in the coastal city of Wollongong, New South Wales, approximately south of Sydney. , the university had an enrolment of more than 33,000 s ...

Australia Australia, officially the Commonwealth of Australia, is a country comprising mainland Australia, the mainland of the Australia (continent), Australian continent, the island of Tasmania and list of islands of Australia, numerous smaller isl ...

, 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 University of Limerick (UL) () is a Public university, public research university institution in Limerick, Republic of Ireland, Ireland. Founded in 1972, as the National Institute for Higher Education, Limerick, it became a university in Septemb ...

Ireland Ireland (, ; ; Ulster Scots dialect, Ulster-Scots: ) is an island in the North Atlantic Ocean, in Northwestern Europe. Geopolitically, the island is divided between the Republic of Ireland (officially Names of the Irish state, named Irelan ...

, before moving to the

United States The United States of America (USA), also known as the United States (U.S.) or America, is a country primarily located in North America. It is a federal republic of 50 U.S. state, states and a federal capital district, Washington, D.C. The 48 ...

, initially as Research Associate Professor and the

University of Tennessee The University of Tennessee, Knoxville (or The University of Tennessee; UT; UT Knoxville; or colloquially UTK or Tennessee) is a Public university, public Land-grant university, land-grant research university in Knoxville, Tennessee, United St ...

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''. In the ''North American system'', used in the United States and many other countries, it is a position ...

position at

East Carolina University East Carolina University (ECU) is a public university in Greenville, North Carolina, United States. It is the List of universities in North Carolina by enrollment, fourth largest university in North Carolina and the only one in the state with s ...

, which he joined in 2008. There he achieved

academic tenure Tenure is a type of academic appointment that protects its holder from being fired or laid off except for Just cause (employment law), cause, or under extraordinary circumstances such as financial exigency or program discontinuation. Academic ten ...

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 checking whether software satisfies expectations. Software testing can provide objective, independent information about the Quality (business), quality of software and the risk of its failure to a User (computin ...

. 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 system A safety-critical system 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 * environmental h ...

s. Vilkomir was awarded the

Google Google LLC (, ) is an American multinational corporation and technology company focusing on online advertising, search engine technology, cloud computing, computer software, quantum computing, e-commerce, consumer electronics, and artificial ...

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. 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 membe ...

(ACM, from 2013), and the

IEEE The Institute of Electrical and Electronics Engineers (IEEE) is an American 501(c)(3) organization, 501(c)(3) public charity professional organization for electrical engineering, electronics engineering, and other related disciplines. The IEEE ...

. 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 DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since Novem ...

* {{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