معرفی
Dr. Iris van der Giessen is a researcher affiliated with the Mathematical & Computational Logic (MCL) unit at the Institute for Logic, Language and Computation (ILLC), which operates under the Faculty of Science, Mathematics and Computer Science at the University of Amsterdam.
Her research focuses on mathematical and computational logic, with applications spanning theoretical computer science, formal methods, and the philosophical foundations of logic. As a member of the ILLC, Dr. van der Giessen contributes to the institute's mission of conducting interdisciplinary research at the intersection of logic, language, computer science, and cognition.
Dr. van der Giessen is based at Science Park 107 in Amsterdam, where the ILLC is housed in Building F, Room F1.13. She is part of an academic community that runs the Master of Logic program and PhD Programme in Logic at the University of Amsterdam, suggesting involvement in graduate education and research supervision.
Her research interests include:
- Mathematical Logic
- Computational Logic
- Theoretical Computer Science
- Formal Methods
- Proof Theory
- Model Theory
Dr. van der Giessen can be contacted via email at i.vandergiessen@uva.nl and maintains a professional profile on the University of Amsterdam's website.
