Finding bugs related to memory errors in Linux Kernel and improving environment model specifications for static verification
- Mentors
- Vadim Mutilin, Alexey Khoroshilov
- Organization
- The Linux Foundation
I want to improve the Linux kernel environment model for more accurate work with memory.