Dear Christos, I am Gagan Aryan, a senior year computer science undergraduate at IIT Kanpur, India. I came across this project - Research and integrate the static code analysers with the NetBSD codebase on the NetBSD site. I am interested in working on the same. I realise that this was a GSoC project and the deadline is over. But, I would like to work on it nonetheless and would be elated if you could mentor me.
I was a GSoC student in the previous year batch with the organisation OpenAstronomy and am a mentor in this year of the program with the same organisation. I take immense interest in systems and theoretical computer science and am interested in pursuing doctoral studies in the same. I have done a few systems courses that I feel can come handy in this project, some of which are - Compiler Design, Operating Systems and Software Development and Operations. I had also taken up a research project in the past that aimed to come up with a way to estimate the time complexity of the programs from execution traces. I have interned at Y-Combinator-backed startups as well. A subset of the things I have worked on are available in this one page resume - https://drive.google.com/file/d/1ev7VMBPlRz1voMmEST0GWQ2vX5sEOH4I/view?usp=sharing. Could you please give me a bit more context regarding the project and possibly a few links or documents that I can get started with? I look forward to hearing from you and work for NetBSD. Best, Gagan Aryan, B.Tech CSE, IIT Kanpur
