C, Linux, Qnx, Python, ISO21434, ISO26262, formal methods, Ada SPARK

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