The Rigorous, Agile, and Intelligent Systems Engineering (RAISE) LAB carries applied research leveraging multidisciplinary techniques from Formal Methods (rigor), DevOps (agility), and AI (automation) to modernize the field of systems engieering. The lab runs R&D projects often in collaboration with leading (academic, corporate, or government) labs. If you are interested in collaborating on the existing projects, or starting new ones, please contact Dr. Maged Elaasar from Modelware to discuss possiblities.
Active Projects
Completed Projects
