Clark School Home UMD

ISR News Story

Shoukry Wins NSF CAREER Award

Assistant Professor Yasser Shoukry
Assistant Professor Yasser Shoukry

Assistant Professor Yasser Shoukry (ECE/MC2) is the principal investigator of a 2019 National Science Foundation (NSF) Faculty Early Career Development (CAREER) Award for “Decision Procedures for High-Assurance, AI-Controlled, Cyber-Physical Systems.”

The project aims to explore new mathematical techniques that provide a scientific basis to understand the fundamental properties of Cyber-Physical Systems (CPS) controlled by Artificial Intelligence (AI) and guide their design. In particular, the project investigates a new generation of formal method tools that are capable of simultaneously analyzing the cyber components (including AI-agents) and the physical components of a CPS. This new generation of formal methods will be used to analyze the safety and reliability of AI-controlled CPS, characterize the environments for which the system is guaranteed to operate correctly and predict their failure at real-time.

"Regardless of the explosion in the use of AI within a multitude of CPS domains, the safety and reliability of these AI-controlled CPS is still an under-studied problem,” says Prof. Shoukry. “It is then unsurprising the failure of these AI-controlled CPS in several, safety-critical, situations leading to human fatalities."

Prof. Shoukry’s CAREER proposal also engages graduate, undergraduate, and high-school students, and reaches out to the scientific community by providing open source implementations of algorithms.

"My long-term career objective is to develop formal methods to reason about the safety and reliability of Artificial Intelligence (AI) controlled Cyber-Physical Systems (CPS) providing a scientific basis to understand their fundamental properties and guide their design. The goal of this CAREER proposal is to develop core results conducive towards that objective," says Prof. Shoukry.

The NSF CAREER program fosters the career development of outstanding junior faculty, combining the support of research and education of the highest quality and in the broadest sense.  

Related Articles:
UMD Researchers Creating First Onboard Fast-Charging System for Electric Vehicles
NSF Funds Novel Research to Create Scalable Wireless Networking, Averting Usage Crisis
ECE Undergrad Wins NSF Graduate Research Fellowship
Bhattacharyya awarded NIH Grant to Explore Real-time Neural Decoding for Calcium Imaging
Alumnus Omur Ozel joins George Washington University as tenure-track faculty
MDSE Provides Electricity for Yabucoa Elder Care Center in Puerto Rico
Company Co-Founded by Rajiv Laroia Receives $121 Million Investment
Khaligh Leads NSF-Funded REU and IRES Summer Programs 
Alumna Chakrabarti Named Distinguished Alumnus of IIT Kharagpur
Ulukus Named ECE Associate Chair for Graduate Studies

February 12, 2019


Prev   Next

 

 

Current Headlines

Do Good Robotics Symposium to explore technologies that benefit society and the planet

Wood-based Technology Creates Electricity from Heat

Radioactive Material Detected Remotely Using Laser-induced Electron Avalanche Breakdown

Company Co-Founded by Sergio Baron Delivers Ultra-Thin, Custom Shape Lithium Batteries

UMD Invention of the Year Nominees Push Limits in Cybersecurity, Health, Quantum Computing, and More

ISR friend John Rinzel wins IBT Mathematical Neuroscience Award

Miao Yu honored with USM Regents Faculty Award

ISR alum Craig Lawrence joins ARLIS

Alumnus Xiaobo Tan elevated to ASME Fellow

Ghodssi gives distinguished lecture on devices for gastrointestinal health at EPFL in Switzerland

News Resources

Return to Newsroom

Search News

Archived News

Events Resources

Events Calendar