Dr. Sergiy Vilkomir - Experience

Software Quality Research Laboratory (SQRL), Department of Electrical Engineering and Computer Science,
College of Engineering, University of Tennessee, USA

CONTACT DETAILS - EXPERIENCE - RESEARCH - TEACHING - PUBLICATIONS

• Education
• Experience
• Professional service
• Invited presentations
• Professional training
• Society membership

• 1985-1990:    Kharkov Polytechnic Institute, Ukraine
  
  • PhD degree in computer systems. Thesis title: "Models and methods of the reliability estimation of information and control systems for nuclear power plants"
  
• 1974-1979:   School of Mathematics and Mechanical Engineering, Kharkov State University, Ukraine
  
  • M.Sc. in Mathematics and Mathematics Education. Qualification: Mathematician, Teacher of Mathematics. Thesis title: "Some problems of factorization of infinitely divisible distributions"
• 1972-1974:    College for mathematically gifted students at MOSCOW STATE UNIVERSITY (Mathematical School #18), Russia
  (National boarding college, Head - Academician Kolmogorov)      

• July 2007 - present:    Research Associate Professor, Software Quality Research Laboratory (SQRL), Department of Electrical Engineering and Computer Science, University of Tennessee, USA
  • Coverage and statistical testing scientific computational software
  • Joint project with Oak Ridge National Laboratory:
    • NEWTRNX – software for high-fidelity neutron transport computation (requirement specifications and testing)
• February 2004 - June 2007:    Senior Researcher and part-time Lecturer, Software Quality Research Laboratory (SQRL), Department of Computer Science and Information Systems, Faculty of Informatics and Electronics, UNIVERSITY OF LIMERICK, Limerick, Ireland
  • Investigation of:
    • Formal tabular specifications of software
    • Methods of software testing based on formal specifications
    • Software reliability of telecommunication systems
  • Participation in joint projects with industrial partners:
    • SQRL- Dell project (formal specifications and testing)
    • SQRL - Ericsson project (formal specifications and testing)
    • Bell Labs project (CTVR) (software and system reliability and fault-tolerance)
  • Teaching
    • Developing and lecturing a new "Modeling and Representation" Module (first year students)
      • Developing a module structure and content
      • Developing materials for lectures, tutorials and labs
      • Lecturing
      • Supervising tutors
      • Marking
    • Co-supervisor of one Ph.D. and one M.Sc. students in Computer Science
• 2003-2004:    Fellow, Decision Systems Lab, School of IT and Computer Science, University of Wollongong, Australia   
  • Formal Methods in Software Requirements Engineering project. Investigation of:
    • Co-evolution of formal and informal requirements
    • Combining i* framework and the Z notation
    • Formal regulatory requirements for safety-critical software
  
  
• 2000-2003:    Research Fellow and part-time Lecturer, Centre for Applied Formal Methods, SCISM, South Bank University, London, UK
  • Research activities
    • Formal methods:
      • using the Z notation for formalization and analysis of requirements for software
      • formalization of testing criteria
    • Software testing:
      • elaboration of new software testing criteria
      • analysis of effectiveness of testing methods
      • experimental study of testing
    • Requirement engineering:
      • Formalization of regulatory requirements for safety-critical software
    • Preparation of EPSRC proposal
  • Teaching
    • Website Management and Security (Internet Computing Year 3, lectures and tutorials)
    • Effective Web Page Design (Internet Computing Year 2, tutorials)
    • Mathematics (Computing Studies Foundation Year, tutorials)
    • Introduction to Computing Technology (Computing Studies Foundation Year, tutorials)
    • Computing Mathematics (Computing Studies Year 1, lectures and tutorials)
  • Responsibilities
    • Organization of CAFM's Research Seminars
    • Member of the steering committee of the EPSRC FORTEST network on formal methods and testing
  
  
• 1993-2000:    Head of Software Safety Laboratory (2000), Senior Researcher, Department of Computer Systems, UKRAINIAN STATE SCIENTIFIC AND TECHNICAL CENTRE ON NUCLEAR AND RADIATION SAFETY (the part of Nuclear Safety Regulatory Authority of Ukraine), Kharkov, Ukraine
  • Licensing and safety audits of important for safety computer systems at Ukrainian nuclear power plants
  • Elaboration of methodology of the safety assessment of software
  • Development of normative documents of Ukrainian Nuclear Regulatory Administration (now State Nuclear Regulatory Committee of Ukraine)
  • Assessment of safety, reliability, and software quality of the following systems:
    
    • Teleperm XS system of Siemens, Germany for Rovno-4 NPP
    • Rod Group and Individual Control System of Skoda-Controls, Czech Republic for South-Ukrainian and Khmelnitski NPPs
    • Safety Parameters Display System of Westinghouse, USA for VVER-1000 and RBMK
    • Unit information system of WESTRON, (Hartron, Ukraine- Westinghouse, USA) for South-Ukrainian NPP
    • Turbine Control System of Shevchenko Plant (Ukraine) for Zaporozhye-1 NPP
  
  
• 1992-1993:    Senior Researcher, Department of Computer Systems, INSTITUTE OF SAFETY AND RELIABILITY OF TECHNOLOGICAL SYSTEMS, Kharkov, Ukraine
  • Design of databases (FOXPRO) and applications software for analysis of technological equipment and control systems reliability and safety in nuclear and heat energetics
  
  
• 1985-1991:    Researcher, CENTRAL INSTITUTE OF COMPLEX AUTOMATION, Kharkov branch, Ukraine
  • Reliability assessment of Unit Information System "Complex - Titan 2" for NPPs in Ukraine and Russia
  • Elaboration of methods for estimation of reliability and safety of computer technological systems
  • Design and programming ( PASCAL) the software package "PRANA" for reliability estimation
  
  
• 1982-1984:    Engineer-Programmer, UKRAINIAN POLYTECHNIC INSTITUTE, Kharkov, Ukraine
  • Programming ( PL-1, FORTRAN)
  
  
• 1979-1982:    Lecturer of Mathematics, Foundation Year Course, UKRAINIAN POLYTECHNIC INSTITUTE, Kharkov, Ukraine, and Teacher of Mathematics, HIGH SCHOOL no 57, Kharkov, Ukraine
  • Teaching mathematics

• Program Committee member, the 6th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2008), November 10-14, 2008, Cape Town, South Africa.
• Program Committee member, the 3rd International Conference on Software and Data Technologies (ICSOFT 2008), July 5-8, 2008, Oporto, Portugal.
• Reviewer, “Quality and Reliability Engineering International” journal, 2008
• Program Committee member, the Third International Conference on Software Engineering Advances (ICSEA 2008), October 26-31, 2008, Sliema, Malta.
• Member, the IASTED Technical Committee on Software Engineering, for 2007-2010
• Program Committee member, the 2nd IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE 2008), June 17-19, 2008, Nanjing, China.
• Reviewer, IEEE Transactions on Computers, 2007.
• Program Committee member, the ABZ 2008 (Abstract State Machines, B and Z methods) Conference. (ABZ 2008), September 16-18, 2008, London, UK.
• Program Committee member, the 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), September 10-14, 2007, London, UK.
• Chair of the track on Software Reliability, the Second International Conference on Dependable Systems, Services & Technologies (DESSERT-2007), April 24-27, 2007, Kirovograd, Ukraine.
• Program Committee member, the Second International Conference on Dependable Systems, Services & Technologies (DESSERT-2007), April 24-27, 2007, Kirovograd, Ukraine.
• Program Committee member, the Second International Conference on Software Engineering Advances (ICSEA 2007), August 25-31, 2007, Cap Esterel, French Riviera, France.
• Program Committee member, the First IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE 2007), June 6-8, 2007, Shanghai, China.
• Program Committee member, 17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006), 6-10 November 2006, Raleigh (Research Triangle), North Carolina, USA
• Program Committee member, The Second International Conference on Open Source Systems (OSS 2006), Como, Italy, 8 - 10 June 2006
• Program Committee member, 16th International Conference of Z Users (Z User Meeting - ZUM 2006), part of the 2nd Systems and Software Week, Columbia, Maryland, USA, 24-28 April 2006
• Program Committee member, International Conference on Dependable Systems, Services & Technologies (DESSERT-2006), Poltava, Ukraine, April 25-28, 2006
• Steering Committee member, international Z User Group (ZUG), 2005 - present
• Steering Committee member, the UK FORTEST network on formal methods and testing, 2001-03
• Reviewer, Fourth International Conference on Integrated Formal Methods (IFM 2004), Canterbury, Kent, England, April 4-7, 2004.
• Reviewer, International Journal on Software Tools for Technology Transfer (STTT), Springer-Verlag, 2004
• Reviewer, 5th International Conference on Formal Engineering Methods (ICFEM 2003), Singapore, November 5-7, 2003
• Reviewer, Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03), Trondheim, Norway, June 5-7, 2003
• Reviewer, “Information and Software Technology” Journal (IST), ELSEVIER, 2002

• 2007, April    Invited plenary speaker, the Second International Conference on Dependable Systems, Services & Technologies (DESSERT-2007), April 24-27, 2007, Kirovograd, Ukraine.
• 2006, December    Sofware Quality Research Laboratory Workshop, University of Tennessee at Knoxville, USA
• 2006, October    Research seminar, Department of Information Technology, National University of Ireland, Galway
• 2006, August    Seminar of Department of Computer Science, University of Tennessee at Knoxville, USA
• 2006, May    Computer Science Department, University of Idaho, USA
• 2006, May    School of Computer Science, University of Nevada at Las Vegas, USA
• 2005, June    SQRL research seminar, University of Limerick, Ireland
• 2005, January    SQRL research seminar, University of Limerick, Ireland
• 2004, September    International Symposium CTVR (Centre for Telecommunications Value Chain Driven Research), University of Limerick, Ireland
• 2003, August    the School of IT and Computer Science research seminar, University of Wollongong, Australia
• 2003, April    the Decision Systems Laboratory research seminar, University of Wollongong, Australia
• 2002, November    the Software Technology Research Laboratory (STRL) research seminar, De Montfort University, Leicester, UK
• 2002, June    the third workshop of the EPSRC FORTEST network on formal methods and testing, University of Kent at Canterbury, UK
• 2002, June    the Systems & Software Engineering Research Group (SSE) research seminar, South Bank University, London, UK
• 2002, March    the Systems & Software Engineering Research Group (SSE) research seminar, South Bank University, London, UK
• 2001, November    the first workshop of the EPSRC FORTEST network on formal methods and testing, Brunel University, London, UK
• 2001, November    the Systems & Software Engineering Research Group (SSE) research seminar, South Bank University, London, UK
• 2001, November    Formal Methods Europe (FME) meeting, SBU, London, UK
• 2001, September    the Systems & Software Engineering Research Group (SSE) research seminar, South Bank University, London, UK
• 2000   IAEA Regional Workshop on Design, Evaluation and Licensing of NPP Modification, Milan Copic Nuclear Training Centre, Ljubljana, Slovenia
• 1999  IAEA Regional Workshop on Evaluation and Licensing of NPP Modification, Milan Copic Nuclear Training Centre, Ljubljana, Slovenia
  

• 1998   Argonne National Laboratory, USA; Toronto, Canada, IAEA Interregional Training Course on "Advances in Monitoring, Assessment and Enhancement of Operational Safety of Nuclear Power Plants" (3 weeks)
• 1998   European Summer School on Reliability and Safety of Human-Machine Systems, Crete, Greece (1 week)
• 1996   Nuclear Safety and Protection Institute (IPSN, now IRSN), Fontenay-aux-Roses, France, training on MALPAS software tool for the static analysis of the critical software (2 weeks)
• 1995   Centre D'Etudes De Saclay, Gif-sur-Yvette, France, training on CLAIRE software tool for testing of software of distributed real time applications (4 weeks)
• 1994   Nuclear Safety and Protection Institute (IPSN, now IRSN), Fontenay-aux-Roses, France, advanced training on licensing of nuclear safety (6 weeks)