Karsten Kirby Uy

Intern

Richmond, British Columbia, Canada1 mo experience

Key Highlights

Developed AI-driven EDA verification flow increasing coverage by 800%.
Engineered RPA solutions saving operational costs significantly.
Full-stack developer with experience in diverse technologies.

Stackforce AI infers this person is a Full-Stack Developer with expertise in EDA and RPA solutions.

Contact

Skills

Core Skills

Software DevelopmentMachine LearningRtl DesignFull-stack DevelopmentRobotic Process Automation (rpa)Web DevelopmentTeachingPublic Safety

Other Skills

C++Python (Programming Language)BashTCLSoftware Development Life Cycle (SDLC)Blue PrismReact.js.NET FrameworkFlaskLifeguardingVerilogDigital Signal ProcessorsSignal ProcessingPostgreSQLWeb Scraping

About

I am a developer, producer, and designer who blends technical expertise with creative vision, bringing innovative projects to life through code, sound, and design.

Experience

1 mo

Total Experience

1 mo

Average Tenure

1 mo

Current Experience

Intel

System Simulation Intern

May 2026 – Present · 1 mo

Synopsys inc

Software Engineer Intern

Jan 2025 – Aug 2025 · 7 mos · Kanata, Ontario, Canada · On-site

Built a next-generation AI-driven EDA verification flow in the IP R&D team by designing and implementing robust Bash data pipelines (20K+ samples) to train predictive ML models, increasing verification coverage up to 800% and reducing runtime up to 450% across 7 VC Formal applications, and integrating the workflow into a C++ RTL feature extractor to generate user-friendly TCL scripts.
Engineered CLI and GUI workflows for an AI-driven RTL analysis tool, streamlining 10+ verification and compilation workflows and integrating with hardware validation tools such as Timing Constraint Manager, VC Formal, and Fusion Compiler to optimize RTL design verification and logic analysis.
Developed a comprehensive regression suite with 100+ RTL designs to validate the RTL analyzer and quantify performance gains, while ensuring cross-platform portability by packaging Python ML models with PyInstaller and integrating them into the C++ flow for reliable deployment across Linux distributions (AlmaLinux and CentOS).

C++Python (Programming Language)Software DevelopmentMachine Learning

Icbc (insurance corporation of british columbia)

Full-Stack Software Developer Intern

May 2024 – Dec 2024 · 7 mos · North Vancouver, British Columbia, Canada · Hybrid

Engineered, tested, and deployed an RPA solution using Blue Prism and Python, as part of a team of 3 over 4 months, integrating with 5+ enterprise platforms to automate user-triggered file transfers between departments via a web UI, eliminating external file sources, reducing operational complexity, and saving in yearly operating costs.
Developed a three-tier web application in a team of 5 over 1 month, leveraging React, .NET, and Flask, implementing role-based permissions using AD groups to streamline internal database management, support approver contacts, and replace a legacy Excel-based system.
Managed critical production issues for 30+ automation solutions by analyzing and resolving incidents to ensure high system uptime, seamless integration, and enhanced productivity while conducting regression testing and verifying security patches.

Software DevelopmentSoftware Development Life Cycle (SDLC)Full-Stack DevelopmentRobotic Process Automation (RPA)

City of richmond

Junior Instructor Lifeguard

Sep 2021 – Aug 2024 · 2 yrs 11 mos · Richmond, British Columbia, Canada · On-site

Achieved certification as a lifeguard after completing more than 150 hours of physically and mentally intensive training.
Taught people of all ages and skillsets concerning water safety and swimming stroke technique while fostering a safe and enjoyable environment.
Tasked with the role of continuously monitoring and providing a safe environment for the public in municipal parks and pools.

TeachingLifeguardingPublic Safety