Colloquium Series 2016-2017


Pavithra Prabhakar

Pavithra Prabhakar, Doctorate

Associate Professor, Kansas State University

Formal Verification of Robustness Properties of Hybrid Control Systems

Tuesday, April 11, 2017


Konstantinos Mamouras

Konstantinos Mamouras, Ph.D.

Postdoctoral Researcher, University of Pennsylvania

Quantitative Queries over Streaming Data

Tuesday, April 4, 2017


Michael A. Goodrich

Michael A. Goodrich

Professor and Department Chair of Computer Science, Brigham Young University

Toward Human Interaction with Bio-Inspired Robot Swarms

Thursday, March 30, 2017


Kerry E. Kelley, SES

Kerry Kelley

SES, J6 Director, C4 Systems, United States Strategic Air Command

United States Strategic Command: Managing Global Cyber Risk

Tuesday, March 28, 2017


Andrew Sutton

Andrew Sutton, Ph.D.

Postdoctoral Researcher, University of Potsdam, Germany

Analysis of Black-Box Algorithms

Tuesday, March 14, 2017


Hau Chan

Hau Chan, Ph.D.

Postdoctoral Researcher, Trinity University

Modern Applications of AI, Machine Learning, and Computational Game Theory to Security Domains

Tuesday, February 28, 2017


Ahmed Sabbir Arif

Ahmed Sabbir Arif, Ph.D.

Postdoctoral Research Fellow, RTA School of Media Ryerson University

Smart and efficient solutions for input and interaction

Thursday, February 23, 2017


Marilyn Wolf

Marilyn Wolf, Ph.D. - Distinguished Speaker

Distinguished Chair, Georgia Tech

Service-Oriented Architectures for Safe and Secure Cyber-Physical and IoT Systems

Tuesday, January 24, 2017


Sven Koenig - Distinguished Speaker

Professor, University of Southern California

Single-Robot and Multi-Robot Path Planning

Thursday, November 17, 2016


Matthew Dwyer

Matthew Dwyer, Ph.D.

Department Chair, Leonard A. Lovell Professor, University of Nebraska–Lincoln

Doctoral Research in CSE: What's the Goal and How to Get There

Tuesday, October 11, 2016