Algorithms, Paas, Technical Leadership, Iaas, data structures, open source projects, distributed back end systems

Ethernet, Pcie, formal verification, assertion-based verification, UCIe, FPGA prototyping, Uvm, hardware software co-verification, systemverilog, coverage-driven verification, Emulation, RISC-V architecture, CXL, constrained-random verification, high-performance SoC architectures, AMBA protocols, SERDES, Simulation

Agile Methodologies, Cloud Architecture, Technical Leadership, Data Analytics, DevOps Practices, Project Management, Microservices Design, System Scalability