|
 | Biography |  |
Assoc Prof Paul Strooper's research interests include: Software Engineering, especially software specification, verification, and testing, and Logic Programming, especially program transformation and refinement. He received B.Math. and M.Math. degrees in Computer Science in 1986 and 1988 from the University of Waterloo, and the Ph.D. degree in Computer Science in 1990 from the University of Victoria. From 1990 to 1992, he worked as a Research Associate for the Institute for Robotics and Intelligent Systems at the University of Victoria. He is currently an Associate Academic of the Software Verification Research Centre and regularly teaches industrial training courses for the SVRC.
His current research projects are in the fields of:
• Tools and techniques for testing concurrent software components
• Automated test support for error isolation in simulation models
• Automated support for verification and validation of control-system software
• A refinement calculus for logic programs
• Specification-based testing
|
