Seminars

5G is the vision for a future ubiquitous, fully-connected environment. The goal of 5G extends from improving mobile cellular capacity, to supporting massive numbers of IoT devices, virtual reality and highly reliable public safely communications.  While 5G encompasses the entire network architecture, wireless access technologies plays an outsized role in realizing last-mile connectivity to the vast majority of future connected devices.

In this talk, I will draw upon some of our recent works that push the envelope in evolving our current broadband infrastructure to 5G.  I will…

Modern digital hardware and software designs are increasingly complex but are themselves only idealizations of a real system that is instantiated in, and interacts with, an analog physical environment. Insights from physics, formal methods, and complex systems theory can aid in extending reliability and security measures from pure digital computation (itself a challenging problem) to the broader cyber-physical and out-of-nominal arena. Example applications to design and analysis of high-consequence controllers and extreme-scale scientific computing illustrate the interplay of physics and…

The present day technology falls short in offering autonomous mobile robots that can function effectively and efficiently under unknown and dynamic environmental conditions. Insects and canines, on the other hand, exhibit an unmatched ability to navigate through a wide variety of environments and overcome perturbations by successfully maintaining control and stability. In this talk, Dr. Alper Bozkurt will present how microsystems based neural stimulation and physiological monitoring systems are used to wirelessly navigate cockroaches and train dogs to enable cyber-physical working…

It is well-known that today's computing platforms for the IoT big data server and network router infrastructure is highly energy-consuming. And scaling this to the exascale sizes and Tbps bandwidth handling, which are required for the future, looks implausible with incremental innovations. The exploding energy consumption in today's solutions is largely due to the requirement for maintaining a strong platform flexibility and programmability across a wide range of different tasks and services. But still, also some clear opportunities are emerging to reduce this energy compared to the state-…

Establishing liabilities in component-based systems is a challenging task, as it requires to establish convincing evidence with respect to the occurrence of a failure, and the causality relation between the failure and a damage. The second issue is especially complex when several failures are detected and their impact on the occurrence of the damage has to be assessed. In this talk I will propose a formal framework for reasoning about logical causality between component failures and the violation of a system-level specification.