Formal Methods

Interests: My research interests focus on software engineering generally, and requirements engineering, software architecture, formal methods, category theory specifically. You can easily build up relationships between any of the above topics, such as from requirements to architecture, category approach to software engineering. All such combinations are attractive to me. I am also active in the fields of data mining, web site evolution, and so on.

Contact Information:

PHD Thesis:

[ 2004 -- Current ] N/A

Advisors:

Steve Easterbrook

MSC Thesis:

[ 2001 -- 2003 ] Formally Understanding the Behavior of a Framework's Transaction Management (supervisor: Prof. Jim Hoover, University of Alberta)

Publications:

2003

2002

2003:

Jorg Sander, Xuejie Qin, Zhiyong Lu, Nan Niu, and Alex Kovarsky. ``Automatic Extraction of Clusters from Hierarchical Clustering Representations'', in Proceedings of 7th Pacific-Area Conference on Knowledge Discovery and Data Mining (PAKDD 2003), Seoul, Korea, April 30 - May 2, 2003
PS PDF Abstract

2002:

Nan Niu, Eleni Stroulia, and Mohammad El-Ramly. ``Understanding Web Usage for Effective Dynamic Web-Site Adaptation'', in 4th International Workshop on Web Site Evolution (WSE 2002), in affiliation with the IEEE Internatioanl Conference on Software Maintenance (ICSM 2002), Montreal, Quebec, Canada, pp. 53-62, October, 2002
PS PDF Abstract