Fri, April 11, 11:00 AM
60 MINUTESDeveloping Dependable and Scalable Coordination Protocols: From Theory to Practice
Ali Ebnenasir
Associate Professor @ Michigan Technological University
Fri, April 11, 9:00 AM60 MINUTESHow to Make Efficient (Collective) Decisions
Mohamad Latifian
Postdoctoral Research Associate @ The University of Edinburgh
Fri, April 11, 9:00 AM60 MINUTESSecure and Practical Search Over Dynamic Encrypted Datasets
Javad Ghareh Chamani
Researcher @ Huawei Hong Kong Research Center
Fri, April 11, 9:00 AM60 MINUTESFormal Verification and Test Design for Distributed Redundant Controllers
Marjan Sirjani
Professor @ Mälardalen University
Fri, April 11, 9:00 AM60 MINUTESEfficient Model Learning of Software Product Lines
Ramtin Khosravi
Assistant Professor @ University of Tehran
Fri, April 11, 9:00 AM60 MINUTESGenerative machine learning to model cellular perturbations
Mohammed Lotfollahi
AI for cell biology @ Sanger Institute, University of Cambridge
Fri, April 11, 9:00 AM60 MINUTESIs it possible to secure a swarm of UAVs without any centralized authority or infrastructure?
Mohammed Gharib
Chief Scientific Officer @ Aerendir Mobile Inc.
Fri, April 11, 9:00 AM60 MINUTESDiscovering Agent-Centric Latent States in Theory and in Practice
Alex Lamb
Senior researcher @ Microsoft Research
