Dr. Maria Anisimova
Biological and related sciences, Education, Information and Communication Technologies (ICTs), Mathematics and statistics, Bioinformatics, Computational genomics and modeling Molecular evolution
University of Amsterdam
Information and Communication Technologies (ICTs), Mathematics and statistics
Mathematical and Computational Logic
MacGillavry Fellow, 2019
Oberwolfach Leibniz Fellow, 2015
English, Persian
Project Grant: Cyclic Proofs for Modal and Higher-order Logic. Funded by the Dutch Research Council (NWO), 2021 – 2025
VR Starting Grant: Modal mu-calculus: A study in descriptive complexity. Funded by the Swedish Research Council (VR), 2017 – 2021
Swedish National Committee for Logic, Methodology and Philosophy, Royal Swedish Academy of Sciences (KVA), 2021 – 2023
Member of Association for Symbolic Logic Committee on Logic in Europe, since 2020
Member of The Proof Society Core Initiating Committee, 2018
Publicity Chair and member of the Executive Board of Kurt Gödel Society, 2016
Award Committee of the VCLA International Student Awards, 2014
You can only see the contact information of the academics in the database if you are a registered user of AcademiaNet.
Please register here
Biological and related sciences, Education, Information and Communication Technologies (ICTs), Mathematics and statistics, Bioinformatics, Computational genomics and modeling Molecular evolution
Mathematics and statistics, Differential geometry and global analysis
Mathematics and statistics, Topology and Categorification
Information and Communication Technologies (ICTs), Efficient algorithms