Wolfram Kahl

Department of Computing and Software
McMaster University

Research Interests

• Mathematically rigorous software design and verification, support for tabular expressions
• Functional Programming and Program Transformation, , pattern matching calculus (PMC)
• - Relational Methods in Computer Science
• Graph transformation, especially term graph transformation

Publications

Teaching

• Fall 2009:
  • COMP SCI 3EA3: Software Correctness and Specification
  • CAS 743: Functional Programming
• Winter 2009:
  • COMP SCI 1FC3: Mathematics for Computing
• Fall 2007:
  • CAS 701: Logic and Discrete Mathematics in Software Engineering
• Winter 2007:
  • SFWR ENG 3BB4: Software Design III - Concurrent System Design
• Fall 2006:
  • SFWR ENG 2S03: Principles of Programming
  • SFWR ENG 3E03: Design and Selection of Programming Languages

Contact