Computer Science
In 2006 I began my studies of Computer Science at the University of Innsbruck. Some selected papers and activities are listed below:
- WS 2011: Conducting a proseminar in Logic in Computer Science
- SS 2011: Master Seminar on Non-Linear Arithmetic
- SS 2011: Conducting a proseminar in Discrete Mathematics
- SS 2010: Bachelor Thesis: Term Indexing Techniques in OCaml
- SS 2010: Specialisation Seminar on R Trees and High-Dimensional Indexing