Voor de beste ervaring schakelt u JavaScript in en gebruikt u een moderne browser!
Je gebruikt een niet-ondersteunde browser. Deze site kan er anders uitzien dan je verwacht.

F. (Fatemeh) Seifan MSc

Faculteit der Natuurwetenschappen, Wiskunde en Informatica
ILLC
Fotograaf: onbekend

Bezoekadres
  • Science Park 107
  • Kamernummer: F2.08
Postadres
  • Postbus 94242
    1090 GE Amsterdam
Contactgegevens
  • Profile

    About me

    I am a PhD student at the project Logic and Automata: a Coalgebraic perspective at the Institute for Logic, Language and Computation ( ILLC ),  University of Amsterdam. My supervisor is Prof. Yde Venema and the project is funded by  The Netherlands Organization for Scientific Research (NWO). My current main research areas are  Coalgebraic Modal Logic and Coalgebraic Automata Theory . In addition to these topics, I'm also interested in Category Theory and its applications to Logic.

    Before coming to the ILLC , I spent 2 years doing a Master of Mathematics at University of Tehran (Tehran, Iran), where I also did my Bachelor in Mathematics.

    Teaching

    • Fall 2014 

     Teaching Assistant of Capita Selecta in Modal Logic, Algebra and Coalgebra, ILLC, University of  Amsterdam. 

    • Winter 2014

     Teaching Assistant of Model Theory, ILLC, University of Amsterdam.

    • Fall 2013

     Teaching Assistant of Capita Selecta in Modal Logic, Algebra and Coalgebra, ILLC, University of  Amsterdam. 

    • Winter 2012

    Teaching Assistant of Model Theory, ILLC, University of Amsterdam.

    • Fall 2012

    Teaching Assistant of Proof Theory , ILLC, University of Amsterdam.

    • Fall 2010

     Teaching Assistant of  Logic for Computer science , Department of Math. Statistics and Computer Science, University of Tehran.

    • Spring 2010

    Teaching Assistant of  Mathematical Logic , Department of Math. Statistics and Computer Science, University of Tehran. 

    Teaching Assistant of  Algebra I ,  Department of Math. Statistics and Computer Science, University of Tehran. 

  • other activities
  • Publicaties

    2019

    2018

    2017

    2016

    • Enqvist, S., Seifan, F., & Venema, Y. (2016). Completeness for Coalgebraic Fixpoint Logic. In L. Regnier, & J-M. Talbot (Eds.), Computer Science Logic : CSL 2016, August 29 to September 1, 2016, Marseille, France [7] (Leibniz International Proceedings in Informatics; Vol. 62). Saarbrücken/Wadern: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CSL.2016.7 [details]

    2015

    • Enqvist, S., Seifan, F., & Venema, Y. (2015). Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras. In Proceedings, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science: LICS 2015: 6-10 July 2015, Kyoto, Japan (pp. 353-365). Los Alamitos, California: IEEE Computer Society. https://doi.org/10.1109/LICS.2015.41 [details]
    • Marti, J., Seifan, F., & Venema, Y. (2015). Uniform Interpolation for Coalgebraic Fixpoint Logic. In L. S. Moss, & P. Sobociński (Eds.), 6th Conference on Algebra and Coalgebra in Computer Science: CALCO'15, June 24-26, 2015, Nijmegen, Netherlands (pp. 238-252). (Leibniz International Proceedings in Informatics; Vol. 35). Saarbrücken/Wadern: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CALCO.2015.238 [details]
    This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications. Log in to Personal Page Publication Selection tool to manage the visibility of your publications on this list.
  • Nevenwerkzaamheden
    Geen nevenwerkzaamheden bekend