The Rigorous, Agile, and Intelligent Systems Engineering (RAISE) LAB carries applied research leveraging multidisciplinary techniques from Formal Methods (rigor), DevSecOps (agility), and AI (intelligence) to modernize the field of systems engieering. The lab supervises R&D projects run by (undergraduate or graduate) students from top-tier universities in the US, and other countries, often in collaboration with co-investigators from leading (academic, corporate, or government) labs. If you are interested in collaborating on, sponsoring, or leveraging the results of existing projects, or starting new ones, please contact Prof. Maged Elaasar (the lab PI) to discuss possiblities.