Kai Jia

Shanxi, China

Join Prog.AI to see contacts

Summary

🤩

Rockstar

🎓

Top School

Kai Jia is a systems-focused engineer with 10 years of experience blending electrical engineering, embedded systems, and computer vision within robotics and control domains. He holds an MS in Mechatronics, Robotics, and Automation from the University of Michigan and a strong automation background from Southeast University, applying motion planning and human-robot collaboration techniques to real-world problems. Kai has contributed substantial low-level Rust work to OS projects—including kernel heap allocation, multitasking, AArch64 paging, and VCPU/hypervisor features—demonstrating deep expertise in system programming and device drivers. His research-turned-engineering experience includes HOG-based object representations and particle-filtering tracking, reflecting a knack for fusing classical computer vision with probabilistic methods. Based in Shanxi, China, he is comfortable moving between hardware-constrained embedded environments and sophisticated software stacks, often surfacing non-obvious optimizations in memory and scheduling for performance-critical systems.

9 years of coding experience

3 years of employment as a software developer

Master of Science - MS, Mechatronics, Robotics, and Automation Engineering, Master of Science - MS, Mechatronics, Robotics, and Automation Engineering at University of Michigan - Rackham Graduate School

Bachelor of Engineering, Automation, 3,83/4.00, Bachelor of Engineering, Automation, 3,83/4.00 at Southeast University

Chinese, English

Github Skills (20)

paging10

system-programming10

memory-management10

os-development10

kernel10

device-driver10

sys10

kernel-mode10

arm10

rust10

unikernel10

operating-system10

rc9

interrupt-handling9

device-tree9

Programming languages (6)

JavaC++ShellCRustPython

Github contributions (5)

arceos-org/arceos

Jan 2023 - Mar 2023

An experimental modular OS written in Rust.

Role in this project:

Back-end Developer

Contributions:525 reviews, 66 commits, 99 PRs in 2 months

Contributions summary:Kai primarily focused on developing the core operating system features, implementing interfaces, and supporting the runtime environment. Their contributions included adding crate interfaces, cargo test support, and kernel heap allocation with buddy allocator. The user also integrated the smoltcp network stack, implemented a basic HTTP server example and added code to display the physical memory regions, and fine-grained kernel page tables and implemented the basic support of multitasking and scheduling.

modularoperating-systemos-componentsosdevrust

rcore-os/rCore

Dec 2018 - Sep 2020

Rust version of THU uCore OS. Linux compatible.

Role in this project:

Back-end Developer

Contributions:2 reviews, 101 commits, 11 PRs in 1 year 10 months

Contributions summary:Kai focused on low-level system programming and operating system development. They contributed to the AArch64 architecture support, implementing and modifying paging functionalities. The user's work included implementing IRQ and serial IRQ, adding device drivers, and improving cache management. The user also worked on framebuffer and console drivers, enhancing the display functionalities within the operating system.

linux-osriscvrustlinuxthu

Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.

Request Free Trial