Wolfram Kahl

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

Department of Computing and Software
McMaster University

Research Interests

Projects

  • 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

Publications

Teaching

(Only distinct courses are retained from past terms.)

Contact

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/