Hi there! I’m a second-year Computer Science Master’s student at VU Amsterdam and University of Amsterdam. My track focuses on computer systems and infrastructure. I’m currently supervised by Prof. Andres Goens on topics (HDL Backend) related to AQL. I will be starting as an SDE intern at Volvo Cars in Gothenburg in February 2025, where I will work on the fast charging system.

Previously, I worked at CARIAD as a cybersecurity engineer internship student under the supervision of Dr. Ilya Ozerov, where I developed a TLS-PSK MITM attack script. You can find my script on my GitHub. I also worked as a Rust backend software engineering intern at the AI startup BaihaiAI.

I received my B.Eng. in Software Engineering from Qingdao University of Science and Technology, where I made some of the best friends of my life. During my undergraduate studies, I attended a Berkeley summer session for the CS161 (Computer Security) course.

I’m generally interested in storage systems, heterogeneous multicore systems, formal verification, and HW/SW co-design.

I like lure fishing, cycling, japanese anime, badminton and video games (Helldivers2, bf2024, etc)!

TAing

• Security of Systems and Networks .Fall 2024

Research Projects*

• Implementation of the AQL Compiler’s CIRCT Backend [code] [report]
• Secure the Memory System with Affine Type for Nano Language (TBD)

Advanced University Projects

Sadly most of these contain no links to source code or report as to prevent plagarism for future students, but you can find parts of them on my GitHub.

• MOESI Cache simulator (discrete-event with accurate timings)
• NVMe userspace FTL (GC) and log-structured NVMe file system for RocksDB
• An SMT solver using DPLL(T) and a VCGen based on Hoare logic with the weakest precondition approach.
• A simple to-do list application with persistent storage (psql) deployed on GCP using K8s, secured with TLS via cert-manager and RBAC.
• RISC-V Implementations of KATAN32 and RECTANGLE Ciphers, and a Verilog Implementation of the PRESENT Cipher with Masked S-Box.
• EdgeCoolingMode thermal management algorithm based on HotSniper framework.