All Events

Feb 28

FRET: A Formal Requirements Elicitation Tool

Anastasia Mavridou
Computer Scientist

  Abstract Requirement formalization and verification tools are essential in designing safety-critical CPS and achieving a level of confidence in system correctness. In this talk, I present the FRET framework for the elicitation, formalization, and understanding of requirements. System... Read More

Feb 27

Innovating Video Content Delivery on Commodity Mobile Devices: From Multi-path to Virtual Reality

Feng Qian
Assistant Professor

  Abstract: More and more users watch videos on their mobile devices. In Q4 2016, mobile videos have eventually surpassed desktop videos in terms of the online viewing time. In this talk, I describe two of my recent projects aiming at improving the performance and reducing the network... Read More

Feb 26

Faculty Research Lecture 2019: Responsible Data Science

Lise Getoor
Professor, Computer Science and Engineering

Abstract Data science is an emerging discipline that offers both promise and peril. Responsible data science refers to efforts that address both the technical and societal issues in emerging data-driven technologies. Prof. Getoor is a computer scientist who is well known for her theoretical work... Read More