Dr. Sergiy Vilkomir

Honorary Associate Professor Emeritus
Estate email: vilkomira21@ecu.edu

• • Personal Website

Teaching Interests

• Software testing, verification and validation
• Software reliability
• Software process management
• Discrete mathematics
• Software requirement engineering

Research Interests

• Software testing
• Requirement engineering (software specifications)
• System and software reliability
• Formal methods (the Z notation, tabular notations)
• Distributed safety-critical systems