C#, Rust, C, C++, Program Analysis, Lean, TLA+, Verus, compilers, Dafny, LLM-based agents

.Net 6.0, C#, Github, Linq, Web Api, Design Patterns, Ms Sql Server, Microservices, Dependency Injection, Moq, Jenkins, Rabbit Mq, Mvc, Azure, Entity Framework Core, Karate Framework, Azure DevOps CI/CD, Angular 18, Graph SQL, Unit Testing Framework MSTest

C, C++, Network Security, Operating System Concepts, Computer Networking, Python, Golang, Optical Networking, System programming on UNIX based systems, L2 L3 protocols, GenAI capabilities, Multithreaded programming, AI-powered software development

.NET, Ado.net, Linq, SQL Server, C Sharp, Entity Framework Core

C++, Debuggers Emulators, RTOS Linux, Communication Protocols, Embedded Microcontrollers Processors

L3 Protocols, C, C++, Operating System Concepts, Network Security, Computer Networking, Python, Golang, Optical Networking, multithreaded programming, GenAI capabilities, AI-powered software development, system programming on UNIX based systems

Distributed Systems, C, C++, L2, L3, Networking Technologies, ACL, Operating Systems, Network Programming, Qos, Vxlan, Mpls, Switch Router Software Development

Core Data, Iphone Sdk, Performance Tuning, Objective C, Push Notifications, Sqlite Database, X Code, Rest Apis, offline storage, Swift 5 and above, Location services, XML-JSON Parsing, Core Foundation, cloud message APIs, Threading, Social networking integration