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. I have a patch or two in
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.
- A person from Kerala, India.
I have professional experience as a Software Architect, and I'm no
stranger to popular and trendy Web technologies. However, 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.
Online Presence
Inactive/Lost