Oferuję stypendium studenckie w ramach grantu NCN Automatyczna analiza systemów współbieżnych. Tematyka projektu leży na pograniczu teorii automatów, logiki i złożoności obliczeniowej. Oferta adresowana jest do studentów etapu magisterskiego, zainteresowanych pisaniem pracy magisterskiej w tematyce grantu.

Termin nadsyłania zgłoszeń: 30 czerwca 2018.
Kontakt: Sławomir Lasota, pok. 5660, e-mail sl@mimuw.edu.pl