Teaching

Algorithms for Model Checking, Winter 2023

Graduate seminar, Institute for Informatics, LMU Munich, 2023

I initiated and organized this seminar on model checking. Students were given weekly writing 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.

Software Verification, Summer 2023

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.

Methods in Software Engineering, Summer 2022

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.

Software Verification, Winter 2021

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.

Logic Synthesis and Verification, Fall 2020

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.

Logic Synthesis and Verification, Fall 2018

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.

Introduction to Electronic Design Automation, Spring 2016

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.