About Nandakumar Edamana

Who am I? What do I do? Here's an incomplete list:

• Developer of some software programs including Vara, Sammaty, and Parayumpole. Not all of them are good, but the goals were to provide immediate alternatives to some proprietary programs, provide demos for nguigen, etc.
• A humble contributor to community projects including the Linux kernel
• Contributor of technology articles to mainstream print media including Open Source For You, Mathrubhumi, and Infokairali Computer Magazine. Author of three computer books in Malayalam.
• Speaker and resource person (see the Talks page).
• Someone who cares about software freedom, digital privacy, and other ethical issues.

I have professional experience as a Software Architect, and I get involved in popular and trendy technologies like Docker and Serverless. But my personal projects and experiments are off-road, mostly related to compilers and code generators.

Academically, I hold a master's degree in Computer Science and have entered formal research. My areas include formal verification and language-based security. The process involves tools like Rocq theorem prover (formerly Coq).

I try to avoid or keep myself away from certain things like proprietary software. You can read more about it here.