About the School Teaching Programs Research Technical Ray Nickson , B.Sc. COMP 303 COMP 425 Ray Nickson's research interests include the theory and practice of the rigorous, computer-aided application of formal methods for software engineering and the design of computer support for interactive mathematical reasoning. Ray has worked on several projects in the areas of program refinement and tool support for formal software development. Most recently, Ray has worked on variants of the refinement calculus for logic programs and for real-time programs, and on tool support for these. Here is Ray's homepage .
Standard disclaimer applies.