Upcoming Lectures

Design Principles for Virtual Environments to Support Teacher Training

Speaker: Alban Delamarre

The use of virtual environments has grown exponentially in the past decades. Progress in computer graphics, visual display devices, interaction …

Read More
Photo of Ryan Smith, Associate Professor of Department of Physics and Engineering Fort Lewis College

Navigation and Localization in Spatiotemporally Evolving Environments

Speaker: Ryan Smith

With existing aquatic robots having endurances ranging from a few days to months, a core challenge is predicting or deciding …

Read More

Past Lectures


CANCELLED: The Grand Game of Testing

Speaker: Yuri Gurevich

Imagine that you are responsible for a large piece of software. It would be great to give a mathematical proof …

Read More
Photo of Ahmad-Reza Sadeghi

Hitchhiker’s Guide to the IoT Galaxy full of Security & Privacy Challenges

Speaker: Ahmad-Reza Sadeghi

The Internet of things (IoT) is rapidly emerging with the goal to connect the unconnected. Many new device manufacturers are …

Read More
david martinez photo

Artificial Intelligence: Short History, Present Developments, and Future Outlook

Speaker: David R. Martinez

Artificial intelligence (AI) has the potential to revolutionize many industries, for example, applications ranging from driverless cars, finance, national security, …

Read More
Photo of Yuan Hong

Preserving Both Privacy and Utility in Network Trace Anonymization

Speaker: Yuan Hong

As network security monitoring grows more sophisticated, there is an increasing need for outsourcing such tasks to third-party analysts. However, …

Read More

Deep Learning for Deep Learning for Representation, and it’s Application for Natural Language Processing

Speaker: Shekoofeh Mokhtari

As the web evolves even faster than expected, the exponential growth of data becomes overwhelming. Textual data is being generated …

Read More

A Model-Based AI-Driven Test Generation System

Speaker: Dionny Santiago

Achieving high software quality today involves manual analysis, test planning, documentation of testing strategy and test cases, and development of …

Read More