Topics

<>

Ariadne: Building safe autonomy with unproven algorithms

Eric Feron, Professor, Electrical and Computer Engineering

Feb 7, 12:00 - 13:00

KAUST

Ariadne safe autonomy unproven algorithms

With the advent of increasingly intelligent algorithms, robots are capable of planning and performing increasingly challenging and creative tasks. Safety, however, remains an essential requirement on robotic behaviors. It is also a property that is hard or impossible to prove for virtually all intelligent algorithms of practical value. Ariadne is a model-based paradigm that enables the safe operation of many robotic systems, even though the algorithms involved with the operation may not be verifiable. Ariadne, or "plan B" engineering, will be illustrated in various current Robotics contexts derived from Ariadne's own Greek mythology, railroad systems, nuclear energy production, air transportation, and others.

<>

Urban Air Management (1)

Salman Sarfaraz Ghori

Ph.D. Student, Electrical and Computer Engineering

Space Robotics optimal control embedded systems Mobile Agents Urban Air Management Agent Management

Education 2021.10 - Present Ph.D. Student in Electrical and Computer Engg, King Abdullah University of Science and Technology, KSA 2018.09 - 2020.10 M.S in Aerospace Engg, Sapienza University of Rome, Italy 2009.05 - 2013.05 B.Tech in Electronics and Communication Engg, Jawaharlal Nehru Technological University HYD, India Professional Profile 2018.01 - 2018.09 Senior Engineer, ZF India Technology Center, India 2017.02 - 2018.01 Embedded Software Engineer, Global Edge, India 2014.09 - 2017.01 System Engineer, Tata Consultancy Services, India Areas of Expertise and Research Interests Space

<>

V2X (1)

Ahmad Didouh

Postdoctoral Research Fellow

cybersecurity trusted execution environments automotive security V2X blockchain

<>

Video Understanding (1)

Fida Mohammad Thoker

Postdoctoral Research Fellow

Self-supervised learning Video Understanding Action Recognition

<>

Visual Language Models (1)

Andres Villa

Postdoctoral Research Fellow

Continual Learning Multimodal learning Visual Language Models AI4Science Action understanding

Andres Villa is a Postdoctoral Fellow in the IVUL lab at King Abdullah University of Science and Technology (KAUST), focusing on AI for Science, Continual Learning, Visual Language Models, and Action Understanding.

<>

Web Security (1)

Mehdi Zakroum

Postdoctoral Research Fellow, Computer, Electrical and Mathematical Sciences and Engineering

Cyber Security Web Security Trustworthy AI

<>

Web Technologies (1)

Nizar Ajeeb

Researcher (former), King Abdullah University of Science and Technology

Programming language MATLAB data analysis Web Technologies

Full Time Researcher Full at King Abdullah University of Science and Technology.

<>

wireless communication networks (1)

kaust-cemse-ccsl-zhandos-zhakipov

Zhandos Zhakipov

Ph.D. Student, Electrical and Computer Engineering

5G and beyond wireless communication networks digital twins

<>

wireless communications. (1)

Mohammed Amine Labbas

Visiting Student (former), King Abdullah University of Science and Technology

IoT Signal processing wireless communications. embedded systems

Visiting student at King Abdullah University of Science and Technology (KAUST) under the supervision of Mr. Tareq Al-Naffouri

<>

Wireless Energy Transfer (1)

Kaiqiang Lin

Postdoctoral Research Fellow, Electrical and Computer Engineering

Wireless Underground Sensor Networks LoRAWAN Space-Air-Ground-Underground Integrated Networks Wireless Energy Transfer Reinforcement Learning

Kaiqiang Lin is currently a Postdoctoral Research Fellow at the Computer Electrical and Mathematical Sciences and Engineering Division (CEMSE), King Abdullah University of Science and Technology (KAUST), working with Professor Mohamed-Slim Alouini in the Communication Theory Lab (CTL). Education and Early Career Kaiqiang Lin received his B.Eng. degree in Electronic and Information Engineering from Fujian Agriculture and Forestry University, Fuzhou, China, in 2018, and his Ph.D. degree with the College of Surveying and Geo-Informatics Tongji University, Shanghai, China, in 2024. From 2021 to

<>

wireless transceivers (1)

Abdulrahman Alhamed

Assistant Professor, Electrical and Computer Engineering

Radio Frequency Integrated Circuits wireless transceivers system on chip phased-arrays Satellite Communications

Dr. Abdulrahman Alhamed is an assistant professor of Electrical and Computer Engineering at KAUST, specializing in RF integrated circuits and systems. His research focuses on advancing wireless technologies for telecommunications and sensing applications

<>

Wireless Underground Sensor Networks (1)

Kaiqiang Lin

Postdoctoral Research Fellow, Electrical and Computer Engineering

Wireless Underground Sensor Networks LoRAWAN Space-Air-Ground-Underground Integrated Networks Wireless Energy Transfer Reinforcement Learning

Kaiqiang Lin is currently a Postdoctoral Research Fellow at the Computer Electrical and Mathematical Sciences and Engineering Division (CEMSE), King Abdullah University of Science and Technology (KAUST), working with Professor Mohamed-Slim Alouini in the Communication Theory Lab (CTL). Education and Early Career Kaiqiang Lin received his B.Eng. degree in Electronic and Information Engineering from Fujian Agriculture and Forestry University, Fuzhou, China, in 2018, and his Ph.D. degree with the College of Surveying and Geo-Informatics Tongji University, Shanghai, China, in 2024. From 2021 to