Theoretical Computer Science (TCS)

Dr Bahareh Afshari

Click on picture for enlargement

Mailing Address

FNWI
ILLC
Universiteit van Amsterdam
P.O. Box 94242
1090 GE AMSTERDAM

Visiting Address

Room F1.09-1
Building F
Science Park 107
1098 XG Amsterdam

Primary affiliation

Mathematical & Computational Logic (MCL)

Secondary affiliation

Theoretical Computer Science (TCS)

Projects

Cyclic proofs for modal and higher-order logic

Phone

+31 20 525 7033

E-mail

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.