Department of Computer Science
February 25, 2026
Avi Wigderson
Institute for Advanced Study, Princeton
"Randomness"
[more info] [Zoom Link]
November 21, 2025
Amr El Abbadi
University of California at Santa Barbara
"Taming Big Data: Stream Summarization and its Many Applications"
[more info] [Zoom Link]
November 17, 2025
Hao Su
New York University
"Exoskeletons, Surgical Robots, and Humanoids: Building Physical Intelligence for Human Augmentation"
[more info] [Zoom Link]
November 12, 2025
Noga Alon
Princeton University
"Vantage Points and Sign Patterns"
[more info] [Zoom Link]
November 7, 2025
Mihalis Yannakakis
Columbia University
"Smoothed Complexity of Local Search Algorithms"
[more info] [Zoom Link]
September 24, 2025
Rebecca Wright
Barnard College
"Differential Privacy in Practice"
[more info] [Zoom Link]
April 16, 2025
Elisa Bertino
Purdue University
"The Persistent Problem of Software Insecurity"
[more info] [Zoom Link]
April 14, 2025
Javam Machado
Federal University of Ceará (UFC), Brazil
"Differentially Private Analysis of Graphs"
[more info] [Zoom Link]
March 28, 2025
Varun Narayanan
UCLA
"Perfectly/Statistically Secure MPC over Layered Graphs with Optimal Corruption Thresholds"
[more info] [Zoom Link]
March 25, 2025
Fan Yao
University of Central Florida
"Understanding and Enhancing Microarchitecture Security in the Era of AI and Emerging Hardware"
[more info] [Zoom Link]
March 14, 2025
Yuchen Zhang
New York University
"Combating Cyber Attacks by Securing the Software Lifecycle"
[more info] [Zoom Link]
March 12, 2025
Arka Rai Choudhuri
Nexus
"Foundations and Advancements in Cryptographic Proofs"
[more info] [Zoom Link]
March 10, 2025
Yossi Oren
Ben Gurion University of the Negev
"All Computers are Identical, and Other Lies we Tell Ourselves about Computer Design"
[more info] [Zoom Link]
March 7, 2025
Imtiaz Karim
Purdue University
"Systematic Security Analysis of Cellular Network Specifications and Implementations"
[more info] [Zoom Link]
March 6, 2025
Chongzhou Fang
University of California, Davis
"Cloud System Security: From Cloud Orchestration to Hardware Attacks"
[more info] [Zoom Link]
March 4, 2025
Jiaxin Guan
New York University
"Space Jammed: Cryptography against Space-Bounded Adversaries"
[more info] [Zoom Link]
March 3, 2025
Nusrat Zahan
North Carolina State University
"Evaluation of Security Controls Toward the Enhancement of Software Supply Chain Security"
[more info] [Zoom Link]
February 24, 2025
Rajeev Alur
University of Pennsylvania
"Neurosymbolic Programming"
[more info] [Zoom Link]
February 21, 2025
Takuya Ito
IBM T.J. Watson Research Center
"Measuring artificial intelligence through a science of generalization: Perspectives from computer science, cognitive science, and neuroscience"
[more info] [Zoom Link]
February 17, 2025
Shinan Liu
University of Chicago
"Weaving an Intelligent Net with More Connected, Accessible, and Reliable Machine Intelligence"
[more info] [Zoom Link]
February 13, 2025
Kieran Murphy
University of Pennsylvania
"Restricting information flow in deep learning for interpretability and insight"
[more info] [Zoom Link]
February 12, 2025
Haotian Zhang
University of Texas at Arlington
"Advancing Binary Code Analysis: Bridging Foundational Techniques and AI-Driven Innovations"
[more info] [Zoom Link]
February 10, 2025
Sebastian Zimmeck
Wesleyan University
"Implementing Privacy Rights on the Internet: From Laws to Systems"
[more info] [Zoom Link]
February 7, 2025
Soneya Binta Hossain
University of Virginia
"Solving the Test Oracle Problem with Program Analysis and Generative AI"
[more info] [Zoom Link]
January 31, 2025
Yanxue Jia
Purdue University
"User-Centric Privacy via Cryptography"
[more info] [Zoom Link]
January 29, 2025
Jingxi Xu
Columbia University
"Robot Learning with Sparsity and Scarcity"
[more info] [Zoom Link]
January 27, 2025
Mengyu Liu
University of Notre Dame
"Enhancing Safety of Cyber-Physical Systems in Real Time"
[more info] [Zoom Link]
January 24, 2025
Shivvrat Arya
University of Texas at Dallas
"Neural Solvers for Fast, Accurate Probabilistic Inference"
[more info] [Zoom Link]
January 22, 2025
Hau Chan
University of Nebraska-Lincoln
"AI-Empowered Collective Decision-Making for Improving Vitality of Communities"
[more info] [Zoom Link]
December 11, 2024
Ahmed Tanvir Mahdad
Texas A&M University
"New Frontiers in Authentication and Side-Channels in Emerging Platforms: 2FA Attacks, Sensor Exploits, and AR/VR Security"
[more info] [Zoom Link]
December 10, 2024
Yihan Du
University of Illinois at Urbana-Champaign
"Why is RLHF Data-Efficient in Policy Optimization?"
[more info] [Zoom Link]
December 9, 2024
Tsung-Chi Lin
Johns Hopkins University
"Designing User-Centered Interfaces for Human-Robot Interaction"
[more info] [Zoom Link]
November 20, 2024
Bhavani Thuraisingham
The University of Texas at Dallas
"Trustworthy Artificial Intelligence for Securing Transportation Systems"
[more info] [Zoom Link]
October 23, 2024
C. Mohan
Hong Kong Baptist University, China; Tsinghua University, China and Former IBM Research Fellow, USA
"The Data Landscape: Trends and Directions"
[more info] [Zoom Link]
October 16, 2024
Divyakant Agrawal
University of California at Santa Barbara
"Trust in the Untrusted World?"
[more info] [Zoom Link]
September 30, 2024
Christos H. Papadimitriou
Columbia University
"Building a brain"
[more info] [Zoom Link]
September 11, 2024
Divesh Srivastavai
Database Research at AT&T
"Towards High-Quality Data for Responsible Data Science"
[more info] [Zoom Link]
May 8, 2024
Xiali (Sharon) Hei
University of Louisiana at Lafayette
"Investigate and Mitigate the Attacks Caused by Out-of-Band Signals"
[more info] [WebEx]
April 26, 2024
Shahram Ghandeharizadeh
FLSLab
"Intelligent 3D Multimedia Displays using Flying Light Specks"
[more info] [WebEx]
April 10, 2024
Zichen Gui
ETH Zurich
"Why Designing and Implementing Encrypted Search is Hard?"
[more info] [WebEx]
April 8, 2024
Liang Wang
Princeton University
"A Holistic View of Internet Security"
[more info] [Zoom Link]
March 25, 2024
Bahruz Jabiyev
Dartmouth University
"Security Challenges of Distributed Content Delivery on the Web"
[more info] [WebEx]
March 20, 2024
Nikolaos Tziavelis
Northeastern University
"A New Generation of Query Processing for Advanced Data Analytics"
[more info] [WebEx]
March 11, 2024
Guannan Wei
Purdue University
"Types and Metaprogramming for Correct, Safe, and Performant Software Systems"
[more info] [WebEx]
March 4, 2024
Kaushal Kafle
William & Mary
"Investigating the Latent Security and Privacy Risks in Consumer Software Systems"
[more info] [WebEx]
February 28, 2024
Moshe Vardi
Rice University
"AI and Democracy"
[more info] [Zoom Link]
February 26, 2024
Tapti Palit
Purdue University
"Program Analysis for Software Security"
[more info] [Zoom Link]
February 14, 2024
Yanan Guo
University of Pittsburgh
"Security Vulnerabilities in Modern Computing Hardware: Causes and Consequences"
[more info] [WebEx]
February 12, 2024
Muslum Ozgur Ozmen
Purdue University
"Achieving Compositional Safety and Security in IoT Environments"
[more info] [Zoom Link]
February 9, 2024
Yan Long
University of Michigan
"Privacy and Security of Sensing in Cyber-physical Systems"
[more info] [WebEx]
February 5, 2024
Ning Luo
Northwestern University
"Going From Strength to Strength: Synergizing Formal Methods and Cryptography"
[more info] [WebEx]
January 31, 2024
Konstantinos Kallas
University of Pennsylvania
"Programmable Software Systems for Correct High-performance Applications"
[more info] [WebEx]
January 25, 2024
Tomer Galanti
Center for Brains, Minds, and Machines at MIT
"Fundamental Problems in AI: Transferability, Compressibility and Generalization"
[more info] [Zoom Link]
January 23, 2024
Arslan Khan
Purdue University
"Securing embedded systems using compartmentalization"
[more info] [Zoom Link]
January 19, 2024
Hyungsub Kim
Purdue University
"Defeating Cyber and Physical Attacks in Robotic Vehicles"
[more info] [WebEx Link]
December 13, 2023
Ziming Zhao
SUNY Buffalo
"HOLMES: Holistic and Hardware-assisted Control-Flow Security for Microcontroller Systems"
[more info] [WebEx Link]
December 11, 2023
Huining Li
SUNY Buffalo
"Privacy-aware Computing in Mobile Health Systems"
[more info] [WebEx Link]
November 20, 2023
Michael Houle
New Jersey Institute of Technology
"Local Intrinsic Dimensionality and Machine Learning: The Dynamical Systems Perspective"
[more info] [WebEx Link]
November 15, 2023
Murat Kantarcioglu
University of Texas at Dallas
"Securing Big Data in the Age of Artificial Intelligence"
[more info] [WebEx Link]
September 13, 2023
Marek Rusinkiewicz
Dean Emeritus NJIT
"From AI to Cybersecurity (and back?)"
[more info] [Zoom Link]
March 31, 2023
Chenghong Wang
Duke University
"Balancing Privacy with System Guarantees: Key to Practical Private Databases"
[more info] [Zoom Link]
March 21, 2023
Dr. Behrooz Omidvar-Tehrani
AWS AI Labs
"Data-Informed Interaction Learning"
[more info] [Zoom Link]
March 10, 2023
Saurabh Kadekodi
Google
"Designing Exascale Distributed Systems"
[more info] [WebEx Link]
March 3, 2023
Simon Oya
University of Waterloo
"A principled approach to privacy design"
[more info] [WebEx Link]
February 22, 2023
Constantinos Chamzas
Rice University
"Learning and Planning for Robotic Manipulation: Bringing Theory to Practice"
[more info] [WebEx Link]
February 21, 2023
Juan Zhai
Rutgers
"Software Quality Assessment via Specification Synthesis"
[more info] [WebEx Link]
February 17, 2023
Nathan Malkin
University of Maryland
"Privacy for Proactive Intelligent Assistants, or: How To Design for Something That Doesn't Exist (Yet)"
[more info] [WebEx Link]
February 17, 2023
Jacques Klein
University of Luxembourg
"A Journey Through Android App Analysis: Solutions and Open Challenges"
[more info] [WebEx Link]
February 9, 2023
Michael J. DeLucia
U.S. Army Research Laboratory
"Machine Learning Enhanced Network Security"
[more info] [WebEx Link]
February 8, 2023
Jessica Shi
MIT
"Bridging Theory and Practice in Parallel Graph Processing"
[more info] [WebEx Link]
February 6, 2023
Kasthuri Jayarajah
Center for Real-time Distributed Sensing and Autonomy (CARDS) at UMBC
"Designing Systems for Collaborative Intelligence in Pervasive Environments"
[more info] [WebEx Link]
January 27, 2023
Sri AravindaKrishnan Thyagarajan
NTT Research
"Cryptography For Fast and Scalable Distributed Applications"
[more info] [WebEx Link]
January 23, 2023
Seyedhamed Ghavamnia
Stony Brook University
"Attack surface reduction through system calling filtering"
[more info] [WebEx Link]
January 18, 2023
Anrin Chakraborti
Duke University
"Cryptographically Secure Systems for Modern Applications"
[more info] [WebEx Link]
December 7, 2022
Zhihao Yao
University of California, Irvine
"Doublethink Vulnerabilities and System Security"
[more info] [WebEx Link]
November 16, 2022
Michael Houle
The University of Melbourne, Australia
"Local Intrinsic Dimensionality: An Extreme-Value-Theoretic Foundation"
[more info] [WebEx Link]
November 3, 2022
Dor Bitan
Simons Institute for the Theory of Computing at UC Berkeley
"Using Zero-Knowledge to Reconcile Law Enforcement Secrecy and Fair Trial Rights in Criminal Cases"
[more info] [WebEx Link]
September 21, 2022
Avigdor Gal
Technion - Israel Institute of Technology
"Loch Data and Other Monsters: on Creating Data Ecosytems, the Intelligent Way"
[more info] [WebEx Link]
April 29, 2022
Indrakshi Ray
Colorado State University
"Cyber Security of Embedded Networks in Heavy Vehicles"
[more info] [WebEx Link]
April 27, 2022
Robert Kozma
Center for Large-Scale Intelligent Optimization and Networks
Department of Mathematics, University of Memphis
"Energy-Aware Intelligence: Biological and Technical Systems"
[more info] [WebEx Link]
March 30, 2022
Daniele Panozzo
Courant Institute, NYU
"Black-Box Finite Element Analysis"
[more info] [WebEx Link]
March 9, 2022
Samira Mirbagher Ajorpaz
UC San Diego
"Proactive and Adaptable Architecture for Security and Performance"
[more info] [WebEx Link]
March 4, 2022
William Hallahan
Yale University
"Automated Approaches for Analysis and Synthesis"
[more info] [WebEx Link]
February 28, 2022
Jiaoyang LI
University of Southern California
"Intelligent Planning for Large-Scale Multi-Agent Coordination"
[more info] [WebEx Link]
February 25, 2022
Jin Sun
Cornell Tech, New York
"Visual Analysis of People in Context"
[ more info] [WebEx Link]
February 23, 2022
Yueqi Chen
Pennsylvania State University & Northwestern University
"Securing Operating Systems Kernels with Fewer Shots"
[more info] [WebEx Link]
Dongkuan Xu
Pennsylvania State University
"Resource-efficient Deep Learning: Democratizing AI at Scale"
[more info] [WebEx Link]
February 18, 2022
Souyoung Jin
MIT
"Cross-Modal Learning for Video Understanding"
[more info] [WebEx Link]
February 14, 2022
Pratik Soni
Carnegie Mellon University
"Foundations of Advanced Cryptography"
[more info] [WebEx Link]
February 11, 2022
Martin Kellogg
University of Washington
"Verification for Working Developers"
[more info] [WebEx Link]
February 9, 2022
Cong Shi
Rutgers University, NJ
"Security Vulnerabilities and Defenses in Emerging Mobile Applications (AR/VR and Voice Assistant Systems)"
[more info] [WebEx Link]
February 7, 2022
Song Li
Johns Hopkins University
"Dig Deeper - Mining Object Related Vulnerabilities via Static Analysis"
[more info] [WebEx Link]
February 4, 2022
Junqiao Qiu
Michigan Technological University
"Model-Centric Speculative Parallelization for Scalable Data Processing"
[more info] [WebEx Link]
February 3, 2022
Meisam Mohammady
CSIRO Data61 & Data Science Institute at Columbia University
"Novel Approaches to Preserving Utility in Privacy Enhancing Technologies"
[more info] [WebEx Link]
January 25, 2022
Adithya Vadapalli
University of Waterloo
"DPFs to the rescue: Applications of Distributed Point Functions to Secure Multiparty Computations"
[more info] [WebEx Link]