C Programming, macOS driver development, kernel mode development, system software stacks, operating system interfaces

arm architecture , Virtualization, Debugging Tools, System Software development, System analyzer tools, formal methods, AI-assisted engineering tools, Ada SPARK programming