Add first batch of maintainer in academia spotlights

content/academia/alive2-maintainer-spotlight.md

@@ -0,0 +1,74 @@
+---
+name: Nuno Lopes
+institution: University of Lisbon
+department: Computer Science
+projectName: Alive2
+projectRepo: https://github.com/AliveToolkit/alive2
+maintainerProfiles:
+  - github: https://github.com/nunoplopes
+  - scholar: https://scholar.google.com/citations?user=DQnsjaoAAAAJ
+badges: ["Academic Maintainer", "Associate Professor"]
+description: "A tool to automatically verify the correctness of LLVM optimizations, used by several companies and instrumental in finding hundreds of bugs in LLVM."
+---
+
+## What is Alive2, and what does it help people do?
+
+Alive2 is a tool to automatically verify the correctness of LLVM optimizations.
+
+## What inspired this project?
+
+It all started when I noticed that one of LLVM's optimizations (InstCombine) was consistently the part of LLVM with the most bug reports. I looked more closely and tried to prove a few cases by hand with the support of an SMT solver. It worked, so I began working on automating the process. It later became my PhD thesis.
+
+## How does this project connect to your academic work?
+
+This project is part of my research agenda on making compilers correct.
+
+## Who contributes to the project?
+
+We have faculty from our and other universities, PhD students, and external contributors from a dozen companies.
+
+## How are students involved in the project?
+
+Some students base most of their PhD thesis on the project, contributing large parts of the theory and/or code. Others contribute smaller pieces, such as adding support for new LLVM features or improving specific algorithms in the tool.
+
+## How is the project used in teaching or coursework?
+
+Alive2 is not used for teaching in my university (we don't have any course on the topic), but other universities include the tool in their lectures.
+
+## What impact has this project had on your students?
+
+It is quite a unique project in the world of verification. There are not many fully automated tools used in industry. It has also inspired students to build other tools based on the same techniques, including superoptimizers and verification tools for other compilers and languages.
+
+## What impact has the project had beyond the classroom or research?
+
+We have published several papers and won two Best Paper awards at PLDI, a leading compiler conference. The tool is used by several companies, and we have found hundreds of bugs in LLVM. Overall, it has had a strong impact on the compiler industry.
+
+## What does it take to maintain the project?
+
+I am the main maintainer, so the schedule depends on my teaching load. It also depends on whether there are interested students in a given year. Sometimes it is challenging to keep up with the workload, but we have a few great external contributors that help tracking and fixing issues.
+
+## What have been the biggest challenges in maintaining the project, especially in an academic setting?
+
+Balancing project work with teaching is difficult. This project is mostly a hobby. Securing funding is also very challenging; we are part of that familiar story where many people use the project, but no one wants to fund it. For example, only recently we received a server for regular testing (thank you, Google!).
+
+## How do you ensure the project remains sustainable over time?
+
+It would be ideal to have regular funding to support a full-time professional software developer maintaining the project.
+
+## How do you engage with your community?
+
+We participate in the LLVM conference occasionally and share work through documentation and research papers. We also engage in relevant discussions around semantics of LLVM IR. We often prototype proposed changes so we can assess the impact of the changes before committing to a particular IR design.
+
+## Have you taken part in any open source programs or events?
+
+I participate in Google Summer of Code through LLVM and have been involved for about 20 years.
+
+## What would you love to achieve by showcasing your project?
+
+If it helps attract funding and international students, that would be great. I also think it is a good example of technology transfer and what academia can achieve. And that professors can code too!
+
+## Is there anything else you'd like to share about your project or open source journey?
+
+Getting Alive2 adopted by industry at wide took time. But we were very lucky that we got a few expert users early on. They provided feedback on the design and did a lot of beta testing.
+
+The way we started was by doing automatic reviews of patches sent to the LLVM mailing list in the Summer of 2014. We caught a bunch of errors related with corner cases. Some people noticed and started asking me how I was catching these bugs. They wanted to try the tool themselves.

content/academia/gandlf-maintainer-spotlight.md

@@ -0,0 +1,101 @@
+---
+name: Sarthak Pati
+institution: MLCommons
+department: Medical AI Working Group
+projectName: Generally Nuanced Deep Learning Framework (GaNDLF)
+projectRepo: https://github.com/mlcommons/GaNDLF/
+projectWebsite: https://gandlf.org
+maintainerProfiles:
+  - github: https://github.com/sarthakpati
+  - orcid: https://orcid.org/0000-0003-2243-8487
+badges: ["Academic Maintainer", "Vice Chair for Algorithm Development and Benchmarking"]
+description: "A framework designed to make deep learning development, training, and inference more stable, reproducible, interpretable, and scalable for computational precision medicine — without requiring an extensive technical background."
+---
+
+## What is GaNDLF, and what does it help people do?
+
+GaNDLF is a framework designed to make deep learning (DL) development, training, and inference more stable, reproducible, interpretable, and scalable, without requiring an extensive technical background. It provides an end-to-end solution for DL-related tasks in computational precision medicine.
+
+GaNDLF supports the analysis of both radiology and histology images, with built-in features such as k-fold cross-validation, data augmentation, support for multiple modalities, and multiple output classes. Its performance across a wide range of use cases and computational tasks demonstrates its potential as a robust framework for deployment in clinical workflows.
+
+## What inspired you to start this project?
+
+Deep learning has strong potential to advance machine learning in both scientific and clinical settings. However, developing DL algorithms requires significant expertise, and differences in implementation often limit reproducibility, translation, and deployment.
+
+GaNDLF was created as a community-driven framework to lower these barriers and make deep learning more accessible and reliable.
+
+## How does this project connect to your academic work?
+
+GaNDLF is part of multiple research initiatives.
+
+## Who contributes to the project?
+
+The project is contributed to by faculty, students, and external contributors.
+
+## How are students involved in the project?
+
+Students contribute code related to their research and help with testing.
+
+## How is the project used in teaching or coursework?
+
+It is not currently integrated into coursework or curriculum.
+
+## What impact has this project had on your students?
+
+Students involved in the project develop software skills and gain a deeper understanding of best practices in open-source development.
+
+## What impact has the project had beyond the classroom or research?
+
+The project has contributed to multiple peer-reviewed publications.
+
+## What does it take to maintain the project?
+
+GaNDLF is maintained through a structured team approach, supported by CI/CD pipelines with integrated unit tests, regular release schedules, and connections to research grants.
+
+## What have been the biggest challenges in maintaining the project?
+
+One of the main challenges is getting researchers up to speed with coding guidelines and best practices.
+
+## How do you ensure the project remains sustainable over time?
+
+Securing funding for long-term development and maintenance has been a major challenge. Partnering with companies to provide specific services has been an important strategy to support sustainability.
+
+## How do you engage with your community?
+
+We engage with the community through documentation, forums, internships, and contribution guidelines.
+
+## Have you taken part in any open source programs or events?
+
+Not yet, but we plan to.
+
+## What would you love to achieve by showcasing your project?
+
+We want to raise awareness about community-driven, sustainable open-source software in the healthcare AI domain.
+
+## Do you use AI tools in your day to day work on this project? If so, how?
+
+This project is now in maintenance mode. I use AI to update documentation, and track any reported bugs.
+
+## Has AI changed how you maintain or manage your project?
+
+Absolutely. The speed with which features go in has dramatically increased.
+
+## How do you see your contributors using AI when working on your project?
+
+AI is another tool. Its efficacy is dictated by the one holding the reins.
+
+## What concerns or challenges, if any, do you have about the use of AI in your project or field?
+
+My primary concern is that people commit changes without understanding what the changes were. This leads to lower quality, and potential code issues (such as someone accidentally posting API KEY information).
+
+## How has your approach to maintaining this project evolved over time?
+
+I have primarily focused on ensuring issues are taken care of in a timely manner.
+
+## How do you see AI shaping the future of your project or field?
+
+AI has levelled the playing field for engineers. Now, the main capital someone has are ideas, because their implementation is pretty quick.
+
+## Is there anything else you'd like to share?
+
+No additional comments.

content/academia/gym-pybullet-drones-maintainer-spotlight.md

@@ -0,0 +1,106 @@
+---
+name: Jacopo Panerati
+institution: Technology Innovation Institute
+department: Autonomous Robotics Research Centre
+projectName: gym-pybullet-drones
+projectRepo: https://github.com/learnsyslab/gym-pybullet-drones
+maintainerProfiles:
+  - github: https://github.com/JacopoPan
+  - orcid: https://orcid.org/0000-0003-2994-5422
+badges: ["Academic Maintainer", "Research Software Engineer"]
+description: "A Python package for simulating Gymnasium environments for single- and multi-agent reinforcement learning of quadcopter control, built on the PyBullet physics engine."
+---
+
+## What is this project, and what does it help people do?
+
+This project is a Python package for simulating Gymnasium (formerly OpenAI Gym) environments for single- and multi-agent reinforcement learning of quadcopter control.
+It is based on the PyBullet physics engine and integrates with PyTorch-based stable-baselines3 implementations for deep reinforcement learning.
+
+## What inspired you to start this project?
+
+The project was inspired by the need to simultaneously teach low-level quadcopter control and continuous-action reinforcement learning at the University of Toronto Institute for Aerospace Studies during the COVID lockdowns.
+
+## How does this project connect to your academic work?
+
+It started as a simulation research initiative and has supported various capstone projects at the University of Toronto, as well as an online competition at IROS.
+
+## Who contributes to the project?
+
+Several graduate students and interns from the University of Toronto DSL group, along with contributors from GitHub.
+
+## How are students involved in the project?
+
+UTIAS DSL students contributed to the initial PID controller integrated into the simulation, international students further contributed additional controllers, examples, and evaluations scripts through GitHub PRs over the years.
+
+## How is the project used in teaching or coursework?
+
+The simulation has been used to teach multicopter dynamics in two University of Toronto robotics courses.
+
+## What impact has this project had on your students?
+
+It has supported the development of several collaborative research papers using the same simulation framework.
+
+## What impact has the project had beyond the classroom or research?
+
+The project was presented at IROS and has formed the basis for further journal publications.
+
+## What does it take to maintain the project?
+
+Maintenance is primarily handled by myself, with support from a few former students from Canada and Germany.
+
+## What have been the biggest challenges in maintaining the project?
+
+Responding to issues in a timely manner is critical for building trust with the community.
+
+## How do you ensure the project remains sustainable over time?
+
+Involving others and distributing the workload has been key to sustainability.
+
+## How do you engage with your community?
+
+I aim to respond promptly to all open issues, including requests for explanations and research guidance.
+
+## Have you taken part in any open source programs or events?
+
+No additional comments.
+
+## What would you love to achieve by showcasing your project?
+
+To demonstrate that even relatively simple ideas can be successful when they are designed to work well for others.
+
+## Do you use AI tools in your day to day work on this project? If so, how?
+
+I often interact with an LLM with a coding-oriented prompt when planning out a new feature or fix PR.
+I sometimes accept in-line LLM coding suggestions in my IDE.
+
+## Do you implement AI into your classroom or coursework (if applicable)? If so, what does that look like in practice?
+
+n/a
+
+## Has AI changed how you maintain or manage your project?
+
+I do appreciate the in-PR coding quality suggestions (when they are single line changes) when using deprecated or non-standard syntax.
+
+## Have you experimented with AI driven or automated workflows in your project? What has that looked like?
+
+Not yet.
+
+## How do you see your contributors using AI when working on your project?
+
+I have been seeing more small, code quality oriented PRs that seem to be suggested by AI and/or agents.
+
+## What concerns or challenges, if any, do you have about the use of AI in your project or field?
+
+As an educational project, the goal of this repo is to help humans better master theoretical concepts (about flight dynamics and controls) rather than developing "working features passing unit and integration tests". The code itself (and not just its runtime) is supposed to be the human-centric product.
+
+## How has your approach to maintaining this project evolved over time?
+
+I've been relying on scheduled workflows and automated dependency updates more.
+
+## How do you see AI shaping the future of your project or field?
+
+Coding LLMs have certainly sped up the number of features an expert developer can ship in a fixed amount of time but it does not seem to me to have reached a level of maturity where it can make always sound architectural choices and this is particularly tricky to observe/understand/mitigate (before it's too late and a project has spiraled out of control) for the novice.
+
+## Is there anything else you'd like to share?
+
+No additional comments.