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

Golang, PostgreSQL, Pytest, Spring Boot, Jasmine, API design, JIRA, HTML, Typescript, Javascript, JUnit, Docker, Jest, Python, Karma, Java, CSS, Agile Methodologies, Redis, Restful Services, Kubernetes, micro front end architecture, GRPC, Go testing, Testify, responsive UI development, automated unit and integration testing frameworks, CI/CD pipelines

.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

Cli, VLAN, BGP, Multicast, Vtp, Netconf, SNMP, OSPF, YANG, Mpls, C/C++ programming, Layer 3 protocols, Routing Infrastructure

react.js , Sharepoint Online, Power Automate, Azure Functions, Power Platform, Sharepoint Migration, Rest Api, SPFX, Azure DevOps, Power Apps, OOB Web Parts, Libraries, Viva Engage, pages, SharePoint permissions, Microsoft Purview, lists, PnP PowerShell, Microsoft Graph API

Hibernate, Design Patterns, Webservices, Java 8, Nosql, Devops, Jenkins, JUnit, Exception Handling, MongoDB, Jpa, Azure, Db, AWS, Binary Tree, Caching, Sprint Security, Java Spring Boot

.NET, PostgreSQL, Dynamodb, Node.js, Jira, Git, React, Typescript, Swagger, ASP.NET, Mvc, Python, AWS, microservices architecture, AI-assisted development tools, OpenAPI