AI Lab logo
menu MENU

Videos

View recordings of our seminars >

Seminars

AI Seminars provide a forum for researchers in this important area to share their findings and thoughts. The AI Seminar Series is sponsored by Soar Technology.

Past events

MAR
26
2020
Faculty Candidate Seminar
Rethinking Operating System and Hardware Abstractions for Good and Evil
Dimitrios Skarlatos, Ph.D. CandidateUniversity of Illinois at Urbana-Champaign
10:30am – 11:30am in Remote/Virtual
MAR
25
2020
Faculty Candidate Seminar
Designing Collective Behavior in Robotic Swarms
Justin Werfel, Sr. Research ScientistHarvard University
10:30am – 11:30am in Remote/Virtual
MAR
24
2020
Faculty Candidate Seminar
Connecting Blockchains to the Real World
Fan Zhang, Ph.D. CandidateCornell University
10:30am – 11:30am in Remote/Virtual
MAR
23
2020
Faculty Candidate Seminar
Automating Failure Diagnosis for Distributed Systems
Yongle Zhang, Ph.D. CandidateUniversity of Toronto
10:30am – 11:30am in Remote/Virtual
MAR
20
2020
Theory Seminar
An Algorithm for Hypergraph k-Cut
Karthik Chandrasekaran, Assistant ProfessorUniversity of Illinois, Urbana-Champaign
10:30am – 11:30pm in 3725 Beyster Building
MAR
19
2020
Faculty Candidate Seminar
Foundations of Optimizable Gradual Typing
Max New, Ph.D. CandidateNortheastern University
10:30am – 11:30am in Remote/Virtual
MAR
18
2020
Faculty Candidate Seminar
Learning from Societal Data: Theory and Practice
Ramya Vinayak, PostdocUniversity of Washington
10:30am – 11:30am in Remote/Virtual
MAR
17
2020
Faculty Candidate Seminar
Analyzing Programs in the Era of Software 2.0
Xin Zhang, PostdocMIT
10:30am – 11:30am in Remote/Virtual
MAR
16
2020
Faculty Candidate Seminar
Better Foundations for Secure Software: Minimize Trust and Verify It
Shweta Shivaji Shinde, PostdocUniversity of California Berkeley
10:30am – 11:30am in Remote/Virtual
MAR
11
2020
Faculty Candidate Seminar
Progressive Automated Formal Verification of Hardware and Software Systems
Yatin Manerkar, Ph.D. CandidatePrinceton University
10:30am – 11:30am in 3725 Beyster Building
MAR
10
2020
Faculty Candidate Seminar
Algorithmic Paradigms for Dynamic Graphs
Thatchaphol Saranurak, Research Assistant ProfessorToyota Technological Institute at Chicago
10:30am – 11:30am in 3725 Beyster Building
MAR
09
2020
Faculty Candidate Seminar
Scalability and Methods of Deep Learning from an Optimization Viewpoint
Kenji Kawaguchi, Ph.D. CandidateMIT
10:30am – 11:30am in 3725 Beyster Building
MAR
06
2020
Theory Seminar
Towards a Unified Theory of Matching Sparsifiers
Aaron Bernstein, Asst. ProfessorRutgers University
10:30am – 11:30pm in 3725 Beyster Building
FEB
27
2020
Faculty Candidate Seminar
The Value Alignment Problem in Artificial Intelligence
Dylan Hadfield-Menell, Ph.D. CandidateUniversity of California, Berkeley
10:30am – 11:30am in 3725 Beyster Building
FEB
26
2020
Faculty Candidate Seminar
Machine Learning for Accelerating Scientific Discovery
Aditya Grover, Ph.D. CandidateStanford University
10:30am – 11:30am in 3725 Beyster Building
FEB
25
2020
AI Seminar
Distortion-based Analysis of Voting: Limited Communication, and an Analysis Framework based on LP Duality and Flows
David Kempe , Professor, Computer ScienceUniversity of Southern California
4:00pm – 5:15pm in 3725 Beyster Building
FEB
25
2020
Faculty Candidate Seminar
Towards Scalable and Reliable Architectures for Quantum Computing Platforms
Swamit Tannu, Ph.D. CandidateGeorgia Tech
10:30am – 11:30am in 3725 Beyster Building
FEB
24
2020
MIDAS Seminar
Is It Possible to Democratize AI for Business
Jen Stirrup, Regional DirectorMicrosoft
3:30pm – 4:30pm in 340 West Hall
FEB
24
2020
Faculty Candidate Seminar
Human-AI Systems for Visual Information Access
Anhong Guo, Ph.D. CandidateCarnegie Mellon University
10:30am – 11:30am in 3725 Beyster Building
FEB
20
2020
Faculty Candidate Seminar
New Approaches to Real-Time Robotic Mapping and Information Gathering
Maani Ghaffari Jadidi, Assistant Research ScientistUniversity of Michigan
10:30am – 11:30am in 3725 Beyster Building
FEB
19
2020
CSE Seminar
Software-Hardware Systems for the Internet of Things
Omid Abari, Assistant ProfessorUniversity of Waterloo
10:30am – 11:30am in 3725 Beyster Building
FEB
18
2020
CSE Seminar
Logic Solvers and Machine Learning: The Next Frontier
Vijay Ganesh, Associate ProfessorUniversity of Waterloo
10:30am – 11:30am in 3725 Beyster Building
FEB
17
2020
MIDAS Seminar
How Language Makes Us Smart (Without Big Data)
Charles Yang, DirectorUniversity of Pennsylvania
3:30pm – 4:30pm in 340 West Hall
FEB
17
2020
Faculty Candidate Seminar
Efficient Machine Learning via Data Summarization
Baharan Mirzasoleiman, PostdocStanford University
10:30am – 11:30am in 3725 Beyster Building
FEB
13
2020
Faculty Candidate Seminar
Breaking and Building End-to-End Encrypted Systems
Paul Grubbs, Ph.D. CandidateCornell University
10:30am – 11:30am in 3725 Beyster Building
2020201920182017201620152014201320122011201020092008200720062005200420032002