Seminars

Kai Li, San Diego State University
Understanding the Security Threats in Public Blockchains

Chongzhuo Fang, University of California, Davis
Cloud System Security: From Cloud Orchestration to Hardware Attacks

Alexander Hoover, University of Chicago
Cryptography for Emerging Technologies

Imtiaz Karim, Purdue University
Systematic Security Analysis of Cellular Network Specifications and Implementations

Mahimna Kelkar, Cornell University
Rethinking Security for Emerging Decentralized Systems

Sumit Kumar Jha, Florida International University in Miami
Towards Robust, Explainable, and Efficient Foundation Models through Path Integrals, Neuro-Symbolic Reasoning, and Flow-based Computing

Yuanyuan Feng, University of Vermont
Usable Data Privacy for All

Daniel Adler, Cornell University
Developing Responsible AI Monitoring Technologies for Chronic Care

McKenna McCall, Carnegie Mellon University
Formal Methods or Usable Security: Why Not Both?

Thibault Dardinier, ETH Zurich
Sound and Automated Deductive Verifiers for Advanced Properties

Prashast Srivastava, Columbia University
Towards Scalable and Effective Testing of Software

Gahgene Gweon, Ph.D., Seoul National University
Harnessing (Big) Data and (AI) Technology in Shaping HCI Research for Real Impact

Hua Wei, Ph.D., Arizona State University
Toward Decision Making in the Real World: From Trustworthy to Actionable

Chang Xiao, Ph.D., Adobe Research
Augmented Interaction Between Physical and Digital Realm

Juncheng Yang, Ph.D., Carnegie Mellon University
Designing Efficient and Scalable Cache Management Systems

Xuhao Chen, Ph.D., MIT Computer Science and Artificial Intelligence Laboratory
Performance Engineering for Scalable AI

Guanhong Tao, Ph.D. candidate, Purdue University
Towards Secure and Safe AI-enabled Systems Through Optimizations

Amber Horvath, Ph.D. candidate, Carnegie Mellon University
Meta-Information to Support Sensemaking by Developers

Jane E, Ph.D., University of California, San Diego
Artistic Vision: Interactive Computational Guidance for Developing Expertise

Peiyan Dong, Northeastern University
Towards Ultimate Efficiency in Ubiquitous ML Powered Intelligence and Green AI

Konstantinos Kallas, Ph.D. candidate, University of Pennsylvania
Programmable Software Systems for Correct High-Performance Applications

Nikolaos Tziavelis, Ph.D. candidate, Northeastern University
A New Generation of Query Processing for Advanced Data Analytics

Muslum Ozgur Ozme, Ph.D. candidate, Purdue University
Achieving Compositional Safety and Security in IoT Environments

Ning Luo, Ph.D., Northwestern University
Going from Strength to Strength: Synergizing Formal Methods and Cryptography

Renkai Ma, Ph.D. candidate, Pennsylvania State University
Building Trust and Safety on Content Creation Platforms

Sijia Xiao, Ph.D. candidate, University of California, Berkeley
Integrating Social Values and Justice into the Design of Social Media Platforms

Mengyuan Li, Ph.D., Massachusetts Institute of Technology
Confidential Computing and Trusted Execution Environment: Challenges, Opportunities, and the Future

Wen Li, Ph.D. candidate, Washington State University
Run-Time Analysis and Security of Multi-Language Systems

Tiffany Wenting Li, Ph.D. candidate, University of Illinois at Urbana-Champaign
Human-centered AI Design and Deployment for Personalized Education at Scale

Jie Cai, Ph.D., Penn State University
Harassment and Content Moderation in Interactive Media

Shaoyi Huang, Ph.D. candidate, University of Connecticut
Towards High Performance Deep Learning Models Inference and Training: From Algorithm to Hardware