= HelenOS theses currently in progress = * [http://is.cuni.cz/eng/studium/dipl_st/index.php?fak=11320&ustav=&dobor=&vedouci=&stupr=&fulltext=HelenOS&fulltext_kde[]=nazev&fulltext_kde[]=ostatni&skr=&skr_obhajeni=&dtyp=&kterep=res&pocet=&f=find&do=main# Theses in progress] at Faculty of Mathematics and Physics, Charles University in Prague