CECS Assistant Professor Research Talk

February 23 | 12-1:30PM 

PEC 1110/20 (Food Provided) or https://umich.zoom.us/j/92968324113

Exploiting Software Engineering and Verification for Interdisciplinary Collaboration

Khouloud Gaaloul, CIS

Abstract
In the world of smart systems, where digital and physical components intersect, we face significant challenges in ensuring the operational safety and reliability of these systems. Achieving high standards in software systems is not just desirable but essential. In this context, software engineering and verification strategies serve as a foundation to address these challenges, fostering collaboration across the domains of engineering and computer science.
In this talk, I will provide an overview of my research on Software Verification for Cyber-Physical Systems (CPS) and its application across various engineering domains. Then, I will discuss potential areas for research collaboration, highlighting the importance of a collective effort in advancing our research and bridging the gap between distinct but interconnected fields.

Cyber Resilient Networks and Systems – Understanding threat propagation, impact, and mitigation approaches 

Junaid Farooq, ECE

Abstract

In the evolving landscape of connected systems and networks, particularly within the Internet of Things (IoT), understanding threat propagation, analyzing its impact, and devising effective mitigation approaches are imperative for safeguarding critical infrastructure. This talk presents an overview of the challenges and strategies associated with the security of wireless communication-enabled devices, which are vulnerable to malware infiltration due to rapid market deployment and security oversights. Furthermore, we will also discuss the broader implications of cyber-physical integration in IoT systems, addressing the increased risks posed by the global and diverse supply chains. The talk aims to offer a multi-layered perspective on identifying security risks, from the network to the supply chain layers, and outlines potential strategies to preclude large-scale coordinated attacks. 

Speaker Bio

Junaid Farooq is an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Michigan-Dearborn. His research interests include modeling, analysis and optimization of wireless communication systems, cyber-physical systems, and the Internet of things. He received his Ph.D. from New York University in 2020 where he was awarded the University-wide Outstanding Dissertation Award. His research has been supported by several agencies including NSF, DHS, Army, and MEDC (through MTRAC Advanced Transportation and MTRAC Advanced Computing tracks).  

Why Does Li-ion Battery Matter?

Xuan Zhou, ECE
 

Abstract
Embark on a comprehensive journey through the evolution of Lithium-Ion batteries as we delve into their intriguing past, dynamic present, and promising future. This talk provides a historical perspective, tracing the development milestones that led to the creation of Li-ion batteries. We then navigate the current landscape, exploring the widespread applications and advancements that have propelled these batteries to the forefront of energy storage solutions. Finally, peer into the future, uncovering the latest research, innovations, and potential breakthroughs that promise to shape the destiny of Li-ion battery technology. Join us in this enlightening exploration of the past, present, and future of Li-ion batteries.

Speaker Bio
Dr. Xuan Zhou serves as an associate professor in the Department of Electrical and Computer Engineering at the University of Michigan-Dearborn, USA. Prior to his current role, Xuan was an associate professor at Kettering University, Michigan. Actively engaged in professional communities like IEEE and SAE, Dr. Zhou's research focuses on various aspects of battery technology, including design, manufacturing, and modeling for electric vehicles. Xuan was a recipient of the Outstanding Teaching Award of Kettering University in 2020, Outstanding New Research Award of Kettering University in 2016 and the 2014 Kettering Faculty Research Fellowship for the work on the development of batteries for energy storage.