Yonas Ghidei
About me
I am a computer science student doing my master's thesis under the supervision of Asst. Prof Philipp Haller and Prof. Martin Monperrus. I am interested in software reliability & security, model checking, compiler construction and programming languages.