Hoppa till huvudinnehållet

Yonas Ghidei

Profilbild av Yonas Ghidei

Om mig

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.