Simon Legner

Computational Logic • Institute of Computer Science • University of Innsbruck • Austria

Teaching

• WS 2011: Conducting a proseminar in Logic in Computer Science and Introduction to Theoretical Computer Science
• SS 2011: Conducting a proseminar in Discrete Mathematics

Studies

• Master Project on Non-Linear Arithmetic (defensio)
• WS 2011: Master Seminar on Non-Linear Arithmetic – SAT Modulo Linear Arithmetic for Solving Polynomial Constraints
• SS 2011: Master Seminar on Non-Linear Arithmetic
• SS 2010: Bachelor Thesis: Term Indexing Techniques in OCaml (init, final)
• SS 2010: Specialisation Seminar on R Trees and High-Dimensional Indexing