= HelenOS theses currently in progress = * [http://is.cuni.cz/eng/studium/dipl_st/index.php?fak=11320&fulltext=HelenOS&fulltext_kde%5B%5D=nazev&kterep=res&f=find&do=main&f=Search Theses in progress] at Faculty of Mathematics and Physics, Charles University in Prague