A Ukrainian-born computer scientist who made significant contributions to the development of artificial intelligence, machine learning, and data mining, and is known for his work on recommender systems.
Sergiy Vilkomir, a Ukrainian-born computer scientist, is renowned for his groundbreaking contributions to the formalization of software testing, particularly in safety-critical systems. His pioneering work on reinforced condition-decision coverage (RCDC) has revolutionized the field of software testing, making him a household name among computer science enthusiasts and researchers alike.
Vilkomir was born on November 19, 1956, in present-day Ukraine. He completed his mathematical education at the Moscow State University National Mathematical Boarding High School no. 18, followed by an MSc degree in Mathematics and Mathematics Education from Kharkov State University (1974-1979). He then pursued his PhD degree at Kharkov Polytechnic Institute (1985-1990).
Vilkomir's illustrious career spans over three decades, marked by stints at prestigious institutions worldwide. He worked at the Ukrainian Polytechnic Institute (1979-1982), the Central Institute of Complex Automation (1982-1991), and the Institute of Safety and Reliability of Technological Systems (1992-1993). In 1993, he joined the Ukrainian State Scientific and Technical Centre on Nuclear and Radiation Safety, where he played a crucial role in licensing and audits of computer-based safety systems at nuclear power plants.
In 2000, Vilkomir relocated to the Centre for Applied Formal Methods at London South Bank University as a Research Fellow. He then joined the University of Wollongong in Australia, followed by a stint with David Parnas at the University of Limerick in Ireland. In 2007, he moved to the United States, initially as Research Associate Professor at the University of Tennessee, and later as an associate professor at East Carolina University, where he achieved academic tenure in 2012.
Vilkomir's research focuses on the formalization of software testing, with a particular emphasis on safety-critical systems. His work on RCDC has been instrumental in improving the reliability and efficiency of software testing. He has also made significant contributions to the development of new testing methods and techniques, earning him the prestigious Google Faculty Research Award for 2010-2011.
Sergiy Vilkomir's pioneering work has left an indelible mark on the field of software testing. His contributions have far-reaching implications for the development of reliable and efficient software systems, particularly in safety-critical domains. As a testament to his legacy, Vilkomir's research continues to inspire and influence a new generation of computer scientists and engineers.
Born in 1848
A Russian general who served as the Minister of War from 1909 to 1915, known for his military reforms and modernization of the Russian army. He was also involved in several scandals and controversies during his tenure.
