F. (Fatemeh) Seifan MSc
- Science Park 107
- Room number: F2.08
-
Postbus 94242
1090 GE Amsterdam
-
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
-
Publications
2019
- Enqvist, S., Seifan, F., & Venema, Y. (2019). Completeness for μ-calculi: A coalgebraic approach. Annals of Pure and Applied Logic, 170(5), 578-641. Advance online publication. https://doi.org/10.1016/j.apal.2018.12.004 [details]
2018
- Enqvist, S., Seifan, F., & Venema, Y. (2018). Completeness for the modal μ-calculus: Separating the combinatorics from the dynamics. Theoretical Computer Science, 727, 37-100. https://doi.org/10.1016/j.tcs.2018.03.001 [details]
2017
Enqvist, S., Seifan, F., & Venema, Y. (2017). An expressive completeness theorem for coalgebraic modal µ-calculi. Logical Methods in Computer Science, 13(2), Article 14. https://doi.org/10.23638/LMCS-13(2:14)2017 [details]
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 Article 7 (Leibniz International Proceedings in Informatics; Vol. 62). 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). 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). 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. -
Ancillary activities
No ancillary activities
Enqvist, S., Seifan, F., & Venema, Y. (2017). An expressive completeness theorem for coalgebraic modal µ-calculi. Logical Methods in Computer Science, 13(2), Article 14.