Wolfram Kahl

Associate Professor
Dr. rer. nat., M. Sc. OXON

Department of Computing and Software
McMaster University

Research Interests


  • CalcCheck, a proof checker for teaching calculational Logics and Discrete Mathematics
  • RATH-Agda, Relation-Algebraic Theories in the dependently-typed programming language Agda
  • Old project: HOPS



(Only distinct courses are retained from past terms.)


Department of Computing and SoftwareTel.:+1-905-525-9140 ext. 27042
McMaster UniversityFax:+1-905-524-0340
1280 Main Street WestE-mail:   kahl@cas.mcmaster.ca
Hamilton, Ontario, L8S 4K1 (I do not handle Word or WordPerfect documents)
CANADAURL: http://www.cas.mcmaster.ca/~kahl/