Programming 2
3 ECTS course, Johannes Kepler University, Linz, Austria.
SS 2024, SS 2023, SS 2022, SS 2021, SS 2020, SS 2019, SS 2018, SS 2017, SS
2016, SS 2015, SS 2014, SS 2013, SS 2012, SS 2011, SS 2010, SS 2009, SS 2008,
SS 2007, SS 2006, SS 2005, SS 2004, SS 2003, SS 2002.
Parallel Computing
4.5 ECTS course (since 2022 together with Alois Zoitl, before with Armin Biere),
Johannes Kepler University, Linz, Austria.
SS 2024, SS 2023, SS 2022, SS 2021, SS 2020, SS 2019, SS 2018, SS 2017.
Introduction to Parallel and Distributed Computing
3 ECTS course, Johannes Kepler University, Linz, Austria.
SS 2024, SS 2022, SS 2020, SS 2018, SS 2016, SS 2014, SS 2012, SS 2010, SS 2008,
WS 2005, WS 2003, WS 2000, SS 99, WS 97/98, WS 96/97, WS 95/96, WS 93/94, WS
92/93.
Formal Modeling
3 ECTS course + 3 ECTS proseminar (together with colleagues), Johannes Kepler
University, Linz, Austria.
SS 2024, WS 2022, SS 2021, SS 2020, SS 2019.
Formal Specification of Abstract Data Types
3 ECTS course, Johannes Kepler University, Linz, Austria.
SS 2024, SS 2022, SS 2020, SS 2018, SS 2016, SS 2014, SS 2012, SS 2010, SS
2008, WS 2005, WS 2002, WS 2000, WS 98/99.
Seminar “Formal Methods and Automated Reasoning”
3 ECTS seminar (since 2021 together with Temur Kutsia and Wolfgang Windsteiger),
Johannes Kepler University, Linz, Austria.
SS 2024, WS 2023, SS 2023, WS 2022, SS 2022, WS 2021, SS 2021, WS 2020, SS
2020, WS 2019, SS 2019, WS 2018, SS 2018, WS 2017, SS 2017, WS 2016, SS 2016,
WS 2015, SS 2015, WS 2014, SS 2014, WS 2013, SS 2013, WS 2012, SS 2012, WS
2011, SS 2011, WS 2010, SS 2010, WS 2009, SS 2009, WS 2008, SS 2008, WS 2007,
SS 2007, WS 2006, SS 2006, WS 2005, SS 2005, WS 2004.
Logic
4.5 ECTS course, Johannes Kepler University, Linz, Austria. Co-lecturers: artina Seidl
and Wolfgang Windsteiger (formerly also: Armin Biere).
WS 2023, WS 2022, WS 2021, WS 2020, WS 2019, WS 2018, WS 2017, WS 2016, WS
2015, WS 2014, WS 2013.
Computational Logic
4.5 ECTS course, Johannes Kepler University, Linz, Austria.
WS 2023, WS 2022, WS 2021.
Formal Methods in Software Development
4.5 ECTS course, Johannes Kepler University, Linz, Austria.
WS 2023, WS 2022, WS 2021, WS 2020, WS 2019, WS 2018, WS 2017, WS 2016,
WS 2015, WS 2014, WS 2013, WS 2012, WS 2011, WS 2010, WS 2009, WS 2008, WS
2007, SS 2007, SS 2006, SS 2005.
Formal Semantics of Programming Languages
3 ECTS course, Johannes Kepler University, Linz, Austria.
SS 2023, SS 2021, SS 2019, SS 2017, SS 2015, SS 2013, SS 2011, SS 2009, WS
2006, WS 2004, SS 2001, SS 99, WS 97/98, WS 95/96, SS 91.
Formal Models of Parallel and Distributed Systems
3 ECTS course, Johannes Kepler University, Linz, Austria.
SS 2023, SS 2021, SS 2019, SS 2017, SS 2015, SS 2013, SS 2011, SS 2009, WS
2006, SS 2001, WS 99, SS 98, SS 96.
Computability and Complexity
4.5 ECTS course, Johannes Kepler University, Linz, Austria.
WS 2020, WS 2019, WS 2018, WS 2017, WS 2016, WS 2015, WS 2014, WS 2013, WS
2012, WS 2011, WS 2010, WS 2009, WS 2008, WS 2007, WS 2006.
Formal Methods for Distributed Systems
12 hours blocked course, University of Debrecen, Hungary.
September 2009, September 2007.
Algebraic and Discrete Methods in Biology
4 hours of a 24 hours blocked course, Johannes Kepler University, Linz, Austria.
SS 2009. SS 2008. SS 2007.
Computer-based Work Environments
2 hours of a 12 hours course, Johannes Kepler University, Linz, Austria.
WS 2008,
Algorithms for Distributed Systems
24 hours course, Johannes Kepler University, Linz, Austria.
WS 2004, WS 2001, SS 2000, WS 98/99.
Project Seminar Parallel and Distributed Software and Algorithms
24 hours seminar, Johannes Kepler University, Linz, Austria.
WS 2003, SS 2003, WS 2002, SS 2002, WS 2001, SS 2001, WS 2000, WS 99, SS 99,
WS 98, SS 98.
Project Seminar Parallel and Distributed Software and Algorithms
24 hours seminar, Johannes Kepler University, Linz, Austria.
WS 2003, SS 2003, WS 2002, SS 2002, WS 2001, SS 2001, WS 2000, WS 99, SS 99,
WS 98, SS 98.
Types, Modules, Classes
24 hours course, Johannes Kepler University, Linz, Austria.
SS 2000, SS 98, SS 96.
Formal Foundations of Computer Science 1
24 hours course, Johannes Kepler University, Linz, Austria.
WS 99.
Parallel Programming Laboratory
24 hours course, Johannes Kepler University, Linz, Austria.
SS 97, SS 95, SS 92.
Compilation of Functional Languages for Parallel Execution
24 hours course, Johannes Kepler University, Linz, Austria.
SS 97, SS 94, WS 91/92.
Parallel Languages and Programming Models
24 hours course, Johannes Kepler University, Linz, Austria.
WS 96/97.
Parallel Functional and Logic Programming
24 hours course, Johannes Kepler University, Linz, Austria.
SS 93, SS 91.
Parallel Architectures for Declarative Languages
24 hours course, Johannes Kepler University, Linz, Austria.
WS 90/91.
Programming Projects
Supervision of graduate students, Johannes Kepler University, Linz, Austria.
Since WS 90/91.
Mathematics for Computer Scientists
Tutor for undergraduate students, Institute for Mathematics, Johannes Kepler University,
Linz, Austria.
WS 87/88 until SS 89.