He 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).
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.
Related pages[change | change source]
References[change | change source]
- "Dr. Sergiy Vilkomir – Experience". East Carolina University. Archived from the original on June 5, 2019. Retrieved February 12, 2020.
- Hierons, R.M.; et al. (2009). "Using formal specifications to support testing". ACM Computing Surveys (CSUR). 41 (2): 1–76. doi:10.1145/1459352.1459354. S2CID 10686134.
- "Dr. Sergiy Vilkomir". Archive.org. Australia: University of Wollongong. 2003. Archived from the original on 2003-07-19. Retrieved February 12, 2020.
- "Our Members". Software Testing Research Group (STRG). Department of Computer Science, East Carolina University. Archived from the original on September 5, 2019. Retrieved February 12, 2020.