Sonstiges Material zu meinem Studium
THESES
- Master Thesis (Master specialization, Software Engineering, 2006)
Automated fault localization in external C code of Eiffel programs- Thesis report (PDF | LaTeX sources)
- Source code packages (enspect and AutoTest patch tar.gz | zip)
- Final presentation enspect (Openoffice, PDF)
- Presentation enspect architecture, Milestone 3 (Openoffice, PDF)
- Presentation Valgrind, Milestone 2 (Openoffice, PDF)
- Demo Eiffel application estrace, a GUI frontend for strace (tar.gz, zip)
- AutoTest (website of Andreas Leitner and Ilinca Ciupa)
- Semester Thesis (Major, Programming Languages and Runtime Systems Group, 2005)
Eventbasierte Echtzeit Video Effekte für Bluebottle- Project abstract (HTML)
- Thesis report (PDF, LaTeX sources)
- SourceCode package (ZIP)
- Bluebottle operating system (Website)
- Semester Thesis (Minor, Didaktik, 2004)
Elektronischer Handel mit Musik - Intership (Diploma program ETH Zürich, 2003)
Swisscom Innovations- Intership report (PDF, PostScript, LaTeX sources)
- Company website (Swisscom Innovations)
TEACHING ASSISTANT
- Zusatzmaterial Informatik I (D-MATH & D-PHYS, WS 2003/2004)
- Zusatzmaterial Informatik II (D-MATH, SS 2004)
- Zusatzmaterial Informatik I (D-MATH & D-PHYS, WS 2004/2005)
PRESENTATIONS
- Korat: Automated Testing Based on Java Predicates (slides | paper) [2004, Seminar talk]
- Informatik Didaktik I: Informatik vermitteln (PDF, OpenOffice) [2005]
- Informatik Didaktik II: Grid Computing (PDF, Powerpoint, Alles Material (ZIP)) [2004]
- Informatik II: "P=NP?"-Problem (text) [2001]