Teaching

The list below contains the courses I lecture/lectured at IST.

2022/23

• Spring Highly Dependable Systems
• Fall Large-scale Systems Engineering

2021/22

• Spring Highly Dependable Systems
• Fall Large-scale Systems Engineering

2020/21

• Spring Highly Dependable Systems
• Fall Sabbatical Leave at UT Austin

2019/20

• Spring Highly Dependable Systems
• Fall Large-scale Systems Engineering

2018/19

• Spring Highly Dependable Systems
• Fall Large-scale Systems Engineering

2017/18

• Spring Highly Dependable Systems
• Fall Network and Computer Security

2016/17

• Fall Highly Dependable Systems