Posts by Collection

portfolio

professional

Conference Referee

I have been a reviewer for the following conferences:

  • Int. Conf. on Computer Design (ICCD)
  • AAAI Conf. on Artificial Intelligence (AAAI)
  • Design Automation Conference (DAC)
  • Int. Conf. on Computer-Aided Design (ICCAD)
  • Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
  • Int. Conf. on Automated Software Engineering (ASE)
  • Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
  • Annual NASA Formal Methods Symposium (NFM)
  • Int. Conf. on Software Engineering and Formal Methods (SEFM)

Journal Referee

I review for the following journals:

  • IEEE Transactions on Computers
  • International Journal on Software Tools for Technology Transfer, Springer
  • ACM Transactions on Design Automation of Electronic Systems
  • Formal Methods in System Design, Springer
  • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  • IEEE Transactions on Very Large Scale Integration (VLSI) Systems

publications

talks

teaching

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.

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.

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.

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.

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, 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.

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 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.

Software Verification, Summer 2024

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.

Algorithms for Model Checking, Summer 2024

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.