Rob Kremer

Formal Methods / System Design / Concept Mapping / CSCW / Software Engineering

Assistant Professor
Dept. of Computer Science
University of Calgary 
2500 University Drive NW 
Calgary, Alberta T2N 1N4 
Knowledge Science Institute

Phone: +1 403-220-7299 or 220-5115 or 247-1660
FAX: +1 403 284-4707

My cv is available in postscript or html

Recent changes to this site (thanks to Lee Chen's Chrono system).

Courses, etc

Listing of on-line courses at Colorado State 

Current Work


Home Pages

Current Conferences

Knowledge Acquisition/Representation


Formal Methods

Concept Maps

Conceptual Graphs

Programming Languages

Library Services

Net Stuff

Interesting Software Archives

Other Stuff

"The bringing together of theory and practice leads to the most favourable results. Not only does practice benefit, but sciences themselves develop under the influence of practice, which reveals new subjects for investigation and new aspects of familiar subjects."

P.L. Chebyshev