About Me

Welcome to my personal site ! I’m Yizhi Wang, a current Master’s student in Computer Engineering at Columbia University. With a strong foundation in data analysis, software, and hardware, I specialize in system building, cloud computing, data-driven applications, and embedded systems. My interdisciplinary approach to engineering enables me to tackle complex technical challenges with innovative solutions.

Interests

I’m deeply passionate about harnessing emerging technologies to address real-world challenges, particularly in data analysis, secure and efficient application/system design, and assistive technology. With a background spanning frontend and backend development as well as hardware integration, I’m eager to continue advancing my skills and making meaningful contributions in these areas, blending technical expertise with impactful, user-centered solutions.

Education

• Columbia University, New York, NY
  Master of Science in Computer Engineering, GPA 3.6/4.0 (Aug 2023 - Dec 2024)
  Courses include: Algorithms, Cloud Computing, Formal Verifications, Blockchain, Database, Computer Networks, Embedded Systems, Hardware Security, Modeling and Performance, Reinforcement Learning, Content Delivery Networks

• Ohio State University, Columbus, OH
  Bachelor of Science in Electrical and Computer Engineering, GPA 3.5/4.0 (Aug 2018 - Dec 2022)
  Honors: Cum Laude, Dean’s List (SP 2020, AU 2020, SP 2021, AU 2021, SP 2022, and AU 2022) Courses include: Operating System, Computer Architecture, Advanced Digital Design, Software Development and Design Teaching Assistant: Introduction to Digital Logic (Jan 2022 - May 2022)

Skills

My technical expertise spans multiple programming languages, including C/C++, Python, and Java, as well as embedded systems, AI, cloud computing, data analysis, security, and networking. I am proficient with a range of development environments and tools, such as UNIX, QEMU, PyTorch, AWS, Git, CAD, and Azure, along with debugging and network monitoring tools like Wireshark, and SMT solvers. This diverse skill set enables me to tackle complex challenges across software engineering, scientific computing, and secure, scalable system development.

Research & Projects

ARM TrustZone Streaming Client Project [Security in IoT Devices]

Designed and implemented a secure video streaming client using ARM TrustZone (TZ) technology to ensure video confidentiality. Developed a server application for sending encrypted streams and a Trusted Application (TA) to securely handle decryption, leveraging the OP-TEE framework for enabling secure communication.

Smart Assistive Cane Design [Practical and Useful IoT Devices]

Developed an assistive cane application using robot operating system for individuals with mobility impairments. Integrated Python-based sensor modules and Raspberry Pi to help the cane detect obstacles and provide navigation support in real-time, enhancing user independence and safety.

Formal Verification Proxy Server Project [Formal Verify Design Security]

Developed a robust proxy server capable of securely managing concurrent client requests, ensuring reliable performance under load. Applied formal verification techniques, including Promela and SPIN, to rigorously validate critical security and reliability properties. This project strengthened my expertise in network/protocol security and formal verification methods.

Online Job Search Platform [User Interfaces and Cloud Backend]

Developed an AWS-based job search platform with a modular architecture, providing a customizable user interface and using S3 service for secure data storage in cloud and real-time updates. Implemented various AWS microservices to ensure scalability and efficient data management.