Automation Tools, C, System Architecture, Operating Systems, complex systems with multiple threads, middleware NvSci APIs, Embedded Systems, generative AI technologies

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