Seminars
The Department of Computer Science invites you to join us for our seminar series, which is open to anyone on the Stevens campus. Seminar sessions are held in-person or live streaming via Zoom.
February 28 | Thibault Dardinier, PhD Candidate, ETH Zurich Sound and Automated Deductive Verifiers for Advanced Properties 11 a.m. |
Past Seminar Series Speakers
View speakers and seminar topics for the previous semesters.
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?
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