Hassan Reza

{{Hassan Reza is a Professor of Software Engineering at the School of Electrical Engineering and Computer Science (SEECS), University of North Dakota. He has developed aerospace software and system architecture using formal methods. His research interests include Software Architecture, Model-Based Engineering Of Cyber-Physical Systems, Software Testing, Applied Formal Methods, and Adaptive Systems.}}