Graduate seminar, Institute for Informatics, LMU Munich, 2024
I initiated and organized this seminar on model checking. Students were given weekly reading assignments in the first half of the seminar. In the second half, each student was assigned a research paper and asked to present it both orally and in a seminar report.
Graduate course, Institute for Informatics, LMU Munich, 2024
This lecture is instructed by Prof. Dirk Beyer. As a teaching assistant, I am responsible for giving weekly tutorials to help students on exercise sheets.
Graduate seminar, Institute for Informatics, LMU Munich, 2023
I initiated and organized this seminar on model checking. Students were given weekly reading assignments in the first half of the seminar. In the second half, each student was assigned a research paper and asked to present it both orally and in a seminar report.
Graduate course, Institute for Informatics, LMU Munich, 2023
This lecture is instructed by Prof. Dirk Beyer. As a teaching assistant, I am responsible for giving weekly tutorials to help students on exercise sheets.
Graduate course, Institute for Informatics, LMU Munich, 2022
This lecture is instructed by Prof. Gidon Ernst. As a teaching assistant, I am responsible for giving weekly tutorials to help students on exercise sheets.
Graduate course, Institute for Informatics, LMU Munich, 2021
This lecture is instructed by Prof. Dirk Beyer. As a teaching assistant, I am responsible for preparing exercise sheets and answering questions from students.
Graduate course, Graduate Institute of Electronics Engineering, National Taiwan University, 2020
This lecture is instructed by Prof. Jie-Hong R. Jiang. As a teaching assistant, I am in charge of the programming assignments, where students have to practice using a synthesis and verification tool ABC. I created a GitHub repository for students to learn modern approaches of software development, including version control and continuous integration. Students have to fork the repository and submit their solutions as pull requests. Their solutions will be tested automatically with GitHub Actions. It was our first time to implement this workflow for programming assignments, and most students gave positive feedbacks. I also wrote a tutorial for students to get their hands on ABC.
Graduate course, Graduate Institute of Electronics Engineering, National Taiwan University, 2018
This lecture is instructed by Prof. Jie-Hong R. Jiang. As a teaching assistant, my duties include grading students’ homework solutions, answering their questions, and helping them with the course projects.
Undergraduate course, Department of Electrical Engineering, National Taiwan University, 2016
This lecture is instructed by Prof. Jie-Hong R. Jiang. As a teaching assistant, my duties include grading students’ homework solutions and answering their questions before exams.