Natasha Alechina (Preferred)
Natasha Alechina
Utrecht University
- Joined July 2019
Names
Emails
****@uu.nl (Confirmed)
Personal Links
Education & Career History
Associate Professor
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