- forsyte.atFormal Methods in Systems Engineering Group. Design & programming.
- vcla.atVienna Center for Logic and Algorithms. Design & programming.
- arise.or.atAustrian Society for Rigorous Systems Engineering. Design & programming.
- Twitter hashtag spreading analysisSocial network analysis with Gephi.
- Design by Contract in Eiffel and C#My bachelor's thesis.
- HDAPSiconA pygtk based HDAPS monitor.
- German Tengwar modeMapping German to Tolkien's script.