Efficient Reachability for Safe Autonomous Systems: A Mixed Monotone Approach
Sam Coogan, Assistant Professor, Georgia Institute of Technology
-
KAUST
Featured Sessions
Events
Mar 28 - Apr 3, 2021
The challenging path to creating fully autonomous and controllable microrobots
Prof. Néstor O. Pérez-Arancibia, Autonomous Microrobotic Systems Laboratory, University of Southern California (USC)
-
KAUST
Featured Sessions
An Egocentric Wearable Camera for Assistive Technologies
Mohammed Kutbi, Assistant Professor, Saudi Electronic University
-
KAUST
Featured Sessions
Designing And Modelling Soft Active Artificial Muscles “Geometric and Material Nonlinearities”
Marwa Eldiwiny, PhD Student, IEEE RAS Org
-
KAUST
Featured Sessions
The Robots are Coming – to your Farm
Girish Chowdhary, Associate Professor, UIUC
-
KAUST
Featured Sessions
Wireless Magnetic Sensors to Empower the Next Technological Revolution
Abdullah Almansouri, PhD Student, Electrical and Computer Engineering, KAUST
-
KAUST
On the Fundamental Challenges for Self-Driving Cars
Emilio Frazzoli, Professor, Dynamic Systems and Control, ETH Zürich
-
KAUST
Featured Sessions
Distributed AI: Optimal algorithms for distributed stochastic non-convex optimization
Usman A. Khan, Associate Professor, Tufts University
-
KAUST
Featured Sessions
Swarms for People
Sabine Hauert, Associate Professor, Bristol Robotics Laboratory, University of Bristol
-
KAUST
Featured Sessions
Multi-Robot Task Allocation Games in Dynamically Changing Environments with Application to Trash Collection
Shinkyu Park, Assistant Professor, Electrical and Computer Engineering, KAUST
-
KAUST
Featured Sessions
Autonomous Vision-Based Navigation and Control for Robotic Space Objects
Hesham Shageer, Assistant Professor, King Abdulaziz City for Science and Technology KACST
-
KAUST
Featured Sessions
Optimization-Based Control of Autonomous Aerospace Systems
Behcet Acikmese, Professor, William E. Boeing Department of Aeronautics and Astronautics, University of Washington, USA
-
KAUST
Featured Sessions
Xwing: the journey to deploying autonomous cargo aircraft
Maxime Gariel, Chief Technology Officer, Xwing
-
KAUST
Featured Sessions
Dynamic Explorations of a TiltWing Aircraft Transitioning from Conventional to Hovering Flight
John Hauser, Professor, University of Colorado Boulder
-
KAUST
Featured Sessions
Safe learning and control with L1 adaptation
Naira Hovakimyan, Professor, Mechanical Science and Engineering, University of Illinois
-
KAUST
Featured Sessions
Core Challenges in Navigation in Human Environments
Jean Oh, Senior Systems Scientist, Robotics Institute, Carnegie Mellon University
-
KAUST
Featured Sessions
Toward Improving the Internet of Things: Quality of Service and Fault Tolerance Perspectives
Maha Al-Aslani, PhD Student, Computer Science, KAUST
-
KAUST
Transient Analysis of Electromagnetic and Acoustic Scattering using Second-kind Surface Integral Equations
Rui Chen, PhD Student, Electrical and Computer Engineering, KAUST
-
KAUST
Enhancing visibility for reliable underwater visual SLAM
Ayoung Kim, Associate Professor, Civil and Environmental Engineering, Korea Advanced Institute of Science and Technology (KAIST)
-
KAUST
Featured Sessions
Challenges in Marine Autonomy
Stefan B. Williams, Head of School of Aerospace, Mechanical and Mechatronic Engineering, University of Sydney
-
KAUST
Featured Sessions
Numerical Methods for Mean Field Games- Session 2
Mathieu Laurière, Postdoc, Operations Research and Financial Engineering, Princeton University, USA
-
KAUST
Multi-Scale GPU Resource Management for Deep Learning
Mosharaf Chowdhury, Morris Wellman, Assistant Professor of CSE at the University of Michigan, Ann Arbor
-
KAUST
Mar 21 - Mar 27, 2021
International Seminar on Mathematical Models and Numerical Methods for Flow and Transport in Porous Media
Speakers from KAUST, CEMSE, PSE, G-CSC, IBRAE and INM RAS
-
KAUST
Numerical Methods for Mean Field Games - Session 1
Mathieu Laurière, Postdoc, Operations Research and Financial Engineering, Princeton University, USA
-
KAUST
Automated Reasoning in Systems Engineering
Laura Kovacs, Professor in Computer Science at the TU Wien
-
KAUST
Minimal-time Mean Field Games
Samer Dweik, Postdoctoral Fellow, University of British Columbia
-
KAUST
Mar 14 - Mar 20, 2021
Multicomponent flows: overview of the models and results on the existence of global in time solutions - Part 2
Ewelina Zatorska, Senior Lecturer, Applied and Numerical Analysis, Imperial College London, UK
-
KAUST
On Discovering Nature’s Equations from Observations
Jesper Tegner, Professor, BESE Division, KAUST
-
KAUST
Fully nonlinear degenerate elliptic equations: qualitative properties of viscosity solutions - Session 3
Martino Bardi, Professor, Mathematical Sciences, University of Padova, Italy
-
KAUST
Mathematical Modeling and Analysis of Emergent Phenomena
Jan Haskovec, Research Scientist, AMCS, KAUST
-
KAUST
mm-Sized Wireless Implantable Medical Devices Toward Clinical Diagnostics and Therapeutics
Pyungwoo Yeon, Postdoctoral Fellow, Electrical Engineering, Stanford University
-
KAUST
Mar 7 - Mar 13, 2021
Fully nonlinear degenerate elliptic equations: qualitative properties of viscosity solutions - Session 2
Martino Bardi, Professor, Mathematical Sciences, University of Padova, Italy
-
KAUST
Analysis of the compressible two-phase flow
Dr. Ewelina Zatorska, Senior Lecturer in the Applied and Numerical Analysis, Imperial College London
-
KAUST
Fully nonlinear degenerate elliptic equations: qualitative properties of viscosity solutions - Session 1
Martino Bardi, Professor, Mathematical Sciences, University of Padova, Italy
-
KAUST
Materials and Devices for Printed Flexible Electronics
Derya Baran, Assistant Professor, Material Science and Engineering, PSE, KAUST
-
KAUST
Feb 28 - Mar 6, 2021
A proof of the C^p'-regularity conjecture in the plane
Prof. José Miguel Urbano, Mathematics at the University of Coimbra (Portugal)
-
KAUST
Title: Introduction to free boundary problems - Session 2
Aram Karakhanyan, Professor, School of Mathematics, University of Edinburgh, UK
-
KAUST
