Dr. N.A. (Natasha) Alechina

Buys Ballotgebouw
Princetonplein 5
3584 CC Utrecht

Dr. N.A. (Natasha) Alechina

Universitair hoofddocent
Intelligent Systems
n.a.alechina@uu.nl

My research is on specification, verification and synthesis of multi-agent systems, in particular under resource constraints.