Dr. Badreddin is an Assistant Professor at the Computer Science department. His main research areas include Cyber-Physical Systems Design and Testing, Model-Driven Engineering, and Model-Driven Systems Engineering. His collaborators include the NASA Jet Propulsion Laboratory, French Alternative Energies and Atomic Energy Commission, and IBM. His most recent work is related to testing untestable systems. Untestable systems are those that cannot be tested due to the cost of performing tests (i.e. collision-avoidance systems), or due to difficulties in siting the environment for test (i.e. deep ocean explorers). Applications of the research include healthcare analytics and informatics. Dr. Badreddin has active collaborations with a few hospitals in North America, where his work is applied to explore techniques for compliance and clinical pathway management.