Louise Dennis
Position
Visiting Worker
Roles
Member of Centre for Intelligent Systems and their Applications
Research Interests
Mathematical Reasoning: Proof-Planning Coinduction.
Email Address
<louised@dai.ed.ac.uk>
Office,Telephone
SB-F9, +44 (0) 131 650 2721
Informatics Research Reports
Personal Page


Home : People 

Please contact us with any comments or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh