Dr. Sergiy Vilkomir
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