Background
Vilkomir, Sergiy Adolfovich was born on November 19, 1956 in Slavyansk, Ukraine. Son of Adolf and Larisa Vilkomir.
Vilkomir, Sergiy Adolfovich was born on November 19, 1956 in Slavyansk, Ukraine. Son of Adolf and Larisa Vilkomir.
Master of Science in Mathematics, Kharkov State University, Ukraine, 1979. Doctor of Philosophy in Computer Systems, Kharkov Polytechnic University, Ukraine, 1985—1990.
Head software safety laboratory Center Nuclear and Radiation Safety, Kharkov, Ukraine, 1993—2000. Research fellow London South Bank University, 2000—2003. Fellow University Wollongong, Australia, 2003—2004.
Senior researcher University Limerick, Ireland, since 2004. Member steering committee FORTEST Network on Formal Methods and Testing, London, 2001—2003, International Z User Group, London, 2005—2006. Member program committee 16th International Conference Z Users, Columbia, Maryland, 2006, 17th International Symposium on Software Reliability Engineering, Raleigh, North Carolina, 2006, 1st International Symposium on Theoretical Aspects of Software Engineering, Shanghai, 2007, 5th International Conference on Software Engineering and Formal Methods, London, 2007.
Member of Institute of Electrical and Electronics Engineers (senior ), Institute of Electrical and Electronics Engineers Computer Society.
Married Tetyana Lifshitz. 1 child Oleksiy.