Academic

I received my B.Sc. in Computing Science from Dalhousie University in Halifax, Nova Scotia, and my MMath in Computer Science from The University of Waterloo. My thesis was entitled Reachability Analysis of Feature Interactions in Service-Oriented Software Systems. It describes methods for composing state machines representing individual features in service-oriented software systems so that automatic detection of feature interactions becomes possible and feasible.

After graduation I spent a couple of years in Montréal working for Visual Edge Software. Then I moved to Ottawa and spent some time working for Nortel. Now I'm working for a company in Gatineau (formerly Hull) called CubeWerx.

Here is my résumé. (although I'm not looking for a job right now!)

Publications

"Reachability Analysis of Feature Interactions: A Progress Report", Keith P. Pomakis and Joanne M. Atlee, Proceedings of the International Symposium on Software Testing and Analysis, January 1996, pp. 216-223.
"Reachability Analysis of Feature Interactions in Service-Oriented Software Systems", Keith P. Pomakis, Master's thesis, Department of Computer Science, University of Waterloo, 1995. ISBN 061209412X

Back to my home page.