Mathematical & Computational Logic (MCL)

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

Finding interpolants: proofs in action

Phone

Not available

E-mail

Personal Home Page