I want to contribute to some open source project related to any of these topics:
Formal methods of verification/static code analysis/compiler-related
Operating systems security
Parallel and distributed computing
NLP, AI
I don't know much in any of these topics except by undergraduate degree. My objective is to pick up some project and while learning and reading a lot of research papers, also contribute to it.
Please suggest some pointers preferably not just development but also research related.