Java, Apis, Node.js, Microservices, React, Typescript, Javascript, Python, AWS, LLMs, event-driven systems, CI CD

Java, Golang, Azure, Gcp, MLops, Terraform, Python, AWS, LLMOps, CI CD, Agentic AI, Kubernetes Operators

theorem proving , Python, Tcl, model checking, Hardware Description Languages, formal methods, HOL, ACL2, Jaspergold, VC-Formal

Algorithms, Java, multi-threading, Scala, SQL Server, Microservices, Memory Management, Nosql, Docker, MySQL, Postgres, data structures, Restful Apis, Oracle, Python, Kubernetes, complexity analysis, architectural best practices, software design principles, query processing, testing strategies, system health maintenance

Verilog, Asic verification, formal verification, power-aware verification, gate-level verification, Uvm, systemverilog

Verilog, System Verilog, model checking, Abstraction Modeling, formal verification, Convergence Strategies, Logic Microarchitecture Fundamentals, Simulation Techniques, Equivalence Checking

Golang, Https, REST, Apis, Tls, Kubernetes, Python, AWS, Etl, data pipelines

scalability testing , Java, Automation Frameworks, Docker, Debugging, Containers, Kubernetes, Python, Root Cause Analysis, Go, Infrastructure-as-code

threat modeling , security automation , Java, Application Security, Vulnerability Management, Python, Cloud-native Deployment, Secure Coding Practices, Secure Software Design, Go

Shell, Python, Perl, formal verification technologies, complexity reduction techniques, high quality testplans, formal testbenches, root-causing counter-examples