Dr. Maria Anisimova
Biological and related sciences , Education, Information and Communication Technologies (ICTs), Mathematics and statistics, Bioinformatics, computational genomics and modeling molecular evolution
Dr. Bahareh Afshari
Nominated by
- Swedish Research Council
- AcademiaNet member since 19.10.2017
- AcademiaNet- Selection Criteria
Employed by
- University of Gothenburg
Further professional affiliations (employer name only)
LoCo (ILLC, UvA)
Logic & Types (CSE, GU/Chalmers)
Logic (FLoV, GU)
Academic Discipline/Fields
- Information and Communication Technologies
- Natural sciences, mathematics and statistics
Field
Information and Communication Technologies (ICTs), Mathematics and statistics
Area of specialisation
Mathematical and Computational Logic
Distinctions and Awards
2019 MacGillavry Fellow
2015 Oberwolfach Leibniz Fellow
Interested in
- Membership in scientific bodies, Professorship
Languages
English, Persian
Doctorate
- 2009: Mathematics
Short CV/Education and training
- Since 2019Assistant Professor and McGillavry Fellow, Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands.
- Since 2018Researcher, Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Gothenburg, Sweden.
- Since 2017Assistant Professor, Computer Science and Engineering Department, University of Gothenburg, Gothenburg, Sweden.
- 2014 – 2017Postdoc. Researcher, Institute of Discrete Mathematics and Geometry, Vienna University of Technology, Vienna, Austria.
- 2013 – 2014Lecturer and Director of Studies for Computer Science, Keble College, Oxford, UK.
- 2012 – 2013Postdoc. Researcher, Department of Computer Science, University of Oxford, UK.
- 2009 – 2012Postdoc. Researcher, School of Informatics, University of Edinburgh, UK.
Selected publications
Selected projects
2017 – 2021 VR Starting Grant: Modal mu-calculus: A study in descriptive complexity.
Membership in scientific bodies/juries
2020- Member of Association for Symbolic Logic Committee on Logic in Europe.
2018 Member of The Proof Society Core Initiating Committee.
2016 Publicity Chair and member of the Executive Board of Kurt Gödel Society.
2014 Award Committee of the VCLA International Student Awards.
Contact
You can only see the contact information of the academics in the database if you are a registered user of AcademiaNet.
Please register here
Testimonials
No more excuses!
-
Please download the brochure "No more excuses" and read more about female experts in Europe, and about AcademiaNet.
Similar profiles
Prof. Dr. Swanhild Bernstein
Mathematics and statistics, Analysis
Prof. Anna Beliakova
Mathematics and statistics, Topology and Categorification
Prof. Yolande Berbers
Information and Communication Technologies (ICTs), Distributed systems