Хочю найти место где можно проходить УИР по L4 (в Москве)

Может кто знает где можно проходить УИР (учебно исследовательскую работу) по изучению\разработке микро ядра L4 (http://l4ka.org), или же,
что-то на его основе.
Студент 5-го курса, факультета кибернетики, ОГТУАЭ (http://iate.obninsk.ru/)
Хочю по даному направлению написать диплом.
mail: 01 [at] smtp.ru