Wolfram Kahl

Department of Computing and Software
McMaster University

Research Interests

• High-level specification and programming formalisms
• - Relational Methods in Computer Science
• Graph transformation, especially term graph transformation
• Mathematically rigorous software design and verification, support for tabular expressions
• The proof checker CalcCheck for teaching first-year Logics and Discrete Mathematics
• Functional Programming and Program Transformation, Haskell, , pattern matching calculus (PMC)

Publications

Teaching

• Winter 2013:
  • COMP SCI 1FC3: Mathematics for Computing
  • CAS 707: Formal Specification Techniques
• Fall 2012:
  • COMP SCI 3EA3: Software Correctness and Specification
  • CAS 781: Advanced Topics --- Category Theory
• Fall 2010:
  • CAS 706: Programming Languages
• Fall 2009:
  • CAS 743: Functional Programming
• 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