סגל

M.Sc in Computer Science from Novosibirsk University (1971)

Ph.D in Computer Science from Kiev Institute of Cybernetics (1978)

- Formal methods and tools for specification, design and analysis of systems
- System and software requirements analysis
- Methods and tools for quality assurance and software testing
- Optimization and transformation of programs

- Theory of Compilation

- Digital Systems

- Programming in C

- Real Time Systems