Natasha Alechina (Preferred)
Natasha Alechina
Full Professor, Computer Science, Open University of the Netherlands
Associate Professor, Computer Science, Utrecht University
Joined
July 2019
Names
Emails
****@uu.nl (Confirmed)
****@ou.nl (Confirmed)
Personal Links
Career & Education History
Full Professor
Computer Science, Open University of the Netherlands (ou.nl)
2023 – Present
Associate Professor
Computer Science, Utrecht University (uu.nl)
2019 – Present
Associate Professor
University of Nottingham (nottingham.ac.uk)
2008 – 2019
Assistant Professor
University of Nottingham (nottingham.ac.uk)
1998 – 2007
Postdoc
University of Birmingham (bham.ac.uk)
1996 – 1998
Advisors, Relations & Conflicts
Coauthor
Brian Logan
1996 – Present
Expertise
synthesis
, verification
, logical methods for reinforcement learning
2020 – Present
verification and synthesis for multi-agent systems
2017 – 2020
verification of resource-bounded multi agent systems
, logics for resource bounded agents
2006 – 2017
modal logic
, decidable fragments of first order logic
, logic for AI
1992 – 2006
Publications
Co-Authors
- Abba Lawan
- Abdur Rakib
- Alexandre Albore
- Amin Farjudian
- Andreasa Morris-Martin
- Anthony G. Cohn
- Arjen Hommersom
- Asha Karunaratne
- Brian Logan
- Can Zhou
- Charles Stewart
- Chiara Ghidini
- Daniela Dybalova
- Davide Dell'Anna
- Di Wu
- Didier G. Leibovici
- Dmitry Shkatov
- Doan Thu Trang
- Dragan Doder
- Eike Ritter
- Elise Perrotin
- Fabiano Dalpiaz
- Felipe Meneguzzi
- Fenrong Liu
- Fernando Schapachnik