Introduction

About Me

Hello! ☺️ I'm Hyunsung Jeong, an undergraduate researcher at UNIST, working under the wonderful advising of Professor Jongeun Lee at the ICCL Lab 🔬. My research centers on computer architecture and hardware design automation, with a focus on scalable design-space exploration. I make large design spaces tractable by exposing key relationships across abstraction levels, from functional correctness in stateful circuits to hardware–mapping co-design in DNN accelerators ⚙️

🎓 Bachelor of Engineering in Electrical and Electronic Engineering · GPA 4.22 / 4.30 (Major 4.30 / 4.30)

Updates

Recent News

  • I'm actively looking for PhD positions starting Fall 2027 in computer architecture and hardware design automation, and would be glad to connect.Oct. 2026

  • I'll be heading to DAC 2026 to present B-Flex in person.Jul. 2026

  • My paper B-Flex got accepted to DAC 2026, grateful for the wonderful collaboration with Kyounghun Kang.Mar. 2026

  • I'm grateful to have received the Unhae Scholarship (KRW 8,000,000) this year.Feb. 2026

  • I was named to the Dean's List at UNIST.Aug. 2025

  • Wrapped up 21 months of service in the Republic of Korea Air Force, proud to have helped protect my country.Jan. 2025

  • Named to the Dean's List at UNIST in my sophomore year.Feb. 2023

Research

Research

2026 · Co-First AuthorDAC 2026

B-Flex: Exploration of Broader Flip-Flop Design Space Based on FSM Exhaustive Search

Hyunsung Jeong*, Kyounghun Kang*, Jongeun Lee, and Wanyeong Jung (*Equal contribution)

Proc. Design Automation Conf. (DAC) · Acceptance rate 22.3%

Addressed the limited scalability of prior flip-flop exploration methods, which were constrained by incomplete validation and inefficient brute-force FSM search.

Flip-Flop DesignFSM ExplorationBehavioral Verification
Under Review

Precast: Pre-Instantiation Reasoning for Hardware–Mapping Co-Exploration of DNN Accelerators

Cooking something up, full details soon 🍳

In Progress

From DSE Abstractions to Synthesizable Accelerator Designs

Cooking something up, full details soon 🍳

Coursework

Selected Projects

Selected Coursework

Advanced Computer Architecture, Tensor Processor Design, Computer Architecture, VLSI Design, Digital Logic Design and Lab, Electronic Circuits I/II and Lab, Semiconductor Engineering, Automatic Control

Recognition

Honors & Awards

  • Unhae Scholarship

    Grant

    Merit-based scholarship, KRW 8,000,000, approximately USD 5,500.

  • Dean's List Award, UNIST

    Prize

    Recognized for exceptional academic achievement in the Department.

  • New Student Division Award for Academic Excellence

    Prize

    Awarded to one of the top three first-year students across UNIST.

  • UNIST Full-Tuition Scholarship

    Grant

    Received university-funded tuition support for all eight undergraduate semesters.

Toolkit

Technical Skills

Languages
C++, Python, Verilog HDL
Design Tools
Xilinx Vitis HLS, Xilinx Vivado Design Suite
Parallel Programming
CUDA, OpenMP