Dr Iris van der Giessen
|
| Click on picture for enlargement |
Mailing Address
FGw
ILLC
Universiteit van Amsterdam
P.O. Box 94242
1090 GE AMSTERDAM
Visiting Address
Room F1.13
Building F
Science Park 107
1098 XG Amsterdam
Primary affiliation
Mathematical & Computational Logic (MCL)
Projects
Computing interpolants: cyclic proofs in action
Phone
Not available
Personal Home Page
Not available
This information is taken from the database of the ILLC Buro:
please inform the ILLC Buro
(not the webmaster)
if any of the information above is incorrect or incomplete.