Teaching
Software Engineering Formal Methods
Development Methods and Tools
Neural Computing
Software Requirements Engineering and Specification
Interacting systems