Research interests:
Functional programming; design-patterns; highly-available, robust,
distributed systems; reliability and dependability; software
testing; model-based testing; property-based testing; automated
testing tools and techniques.
Teaching: Software Design, Information Systems Design, Modelling of Distributed and Concurrent Systems.