Henrik Linnestad
Name : Henrik Linnestad
Affiliation : Department of Informatics,
University of Oslo
Address : P.O. Box 1080 Blindern, N-0316 Oslo, Norway
Office : Room 2407
Phone : +47 22 85 24 05
Fax : +47 22 85 24 01
Email : henrikl@ifi.uio.no
Research interests
- Term rewriting based equational reasoning; completion,
inductionless induction
- Higher-order rewriting
- Modularity issues of term rewrite systems
Projects
I'm doing my PhD in the field of term rewrite systems. Current work is
on proof by consistency in higher-order specifications, as well as
modular properties of many-sorted rewrite systems.
Publications and working papers