| 2025/06/13 | Congrats to Jiun-Hao Chen (陳均豪) for earning the 1st in the 2025 IWLS Programming Contest. |
| 2025/05/30 | Paper on "Fine-Grained Complexity Analysis of Dependency Quantified Boolean Formulas" accepted by the 2025 SAT Conference (SAT 2025). |
| 2025/02/06 | Congrats to Bo-Hung Chen (陳柏宏), Yu-Hung Pan (盤禹宏), and Tian-Fu Chen (陳天富) for earning 2024 AMD Design Contest 人工智慧終端節點運算創意競賽優勝. |
| 2024/11/28 | Congrats to Yu-Wei Fan (范育瑋) for earning 中華民國人工智慧學會碩士論文佳作獎. |
| 2024/11/26 | Congrats to Long-Hin Fung (馮朗軒), Che Cheng (鄭澈), and Yu-Wei Fan (范育瑋) for earning Best Paper Award in 2024 FMCAD. |
| 2024/10/31 | Congrats to Hsin-Ying Tsai (蔡心櫻), Shao-Jui Wu (吳紹睿), Mu-Yao Chung (衷慕堯), Tian-Fu Chen (陳天富), Jiun-Hao Chen (陳均豪), and Yu-Hung Pan (盤禹宏) for earning Honorable Mentions of Problem C in the 2024 ICCAD Contest. |
| 2024/09/11 | Congrats to Yu-Hao Ko (柯昱豪) and Chih-Cheng Hsu (許志誠) for earning 1st place in the 2024 domestic CADathlon. |
| 2024/08/12 | Paper on "2-DQBF Solving and Certification via Property-Directed Reachability Analysis" accepted by the 2024 Formal Methods in Computer-Aided Design (FMCAD 2024). |
| 2024/07/15 | Paper on "A Holistic Approach to Rotation Synthesis for Fault-Tolerant Quantum Computation" accepted by the 2024 IEEE International Conference on Quantum Computing and Engineering (QCE 2024). |
| 2024/06/30 | Paper on "Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization" published in the 2024 IEEE/ACM International Conference on Computer Aided Design (ICCAD). |
|  |
