Nandakumar Edamana is a Software Architect with extensive experience in modern technologies such as Docker and Serverless computing. While his professional work focuses on building scalable and efficient software systems, his personal interests venture into compiler design and code generation—areas where he enjoys experimenting and exploring unconventional ideas.

He holds a Master’s degree in Computer Science and is engaged in formal research in the domains of formal verification and language-based security. His academic pursuits involve leveraging theorem provers such as Rocq (formerly Coq) to advance rigorous methods for software correctness and security.