cv

PhD in Electrical and Computer Engineering

University of Wisconsin, Madison

• CAD for VLSI
• Introduction to Optimization

PhD in Electrical and Computer Engineering

University of Utah

• Parallel Computing
• Heterogeneous Programming
• Physical Design Algorithms

MS in Entertainment Arts and Engineering

University of Utah

• Game Engine Programming

BS in Computer Science

National Cheng Kung University

• Computer Architecture
• Operation Systems
• Computer Graphics

Software Engineering Intern

Intel

Developed and debugged a constraint solving tool

Software Testing Intern

Collins Aerospace

Developed a automated test planning system which schedules the regression tests for QA engineers

G-PASTA: GPU-Accelerated Partitioning Algorithm for Static Timing Analysis

2024 ACM/IEEE Design Automation Conference (DAC)

Ink: Efficient Incremental k-Critical Path Generation

2024 ACM/IEEE Design Automation Conference (DAC)

Ink: Efficient Incremental k-Critical Path Generation

Developed a fast incremental critical path generation algorithm which achieved over 20 times speedup over the baseline algorithm

QSat: Quick SAT solving

Developed a light-weight SAT solver with boolean constraint propagation, conflict-driven clause learning, andgeometric restarts

Mini 2D Game Engine

Developed a concurrent job system which achieved over 4 times speedup over the baseline when generating large amounts of game objects