惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

N
News and Events Feed by Topic
WordPress大学
WordPress大学
Vercel News
Vercel News
CTFtime.org: upcoming CTF events
CTFtime.org: upcoming CTF events
小众软件
小众软件
L
LangChain Blog
雷峰网
雷峰网
D
DataBreaches.Net
博客园 - 三生石上(FineUI控件)
Threat Intelligence Blog | Flashpoint
Threat Intelligence Blog | Flashpoint
T
Tor Project blog
NISL@THU
NISL@THU
Scott Helme
Scott Helme
量子位
S
Security Affairs
T
Threat Research - Cisco Blogs
博客园_首页
云风的 BLOG
云风的 BLOG
D
Docker
AWS News Blog
AWS News Blog
腾讯CDC
博客园 - 聂微东
The GitHub Blog
The GitHub Blog
U
Unit 42
Recent Announcements
Recent Announcements
Apple Machine Learning Research
Apple Machine Learning Research
G
Google Developers Blog
T
The Exploit Database - CXSecurity.com
MongoDB | Blog
MongoDB | Blog
Stack Overflow Blog
Stack Overflow Blog
cs.AI updates on arXiv.org
cs.AI updates on arXiv.org
L
LINUX DO - 热门话题
Cyber Security Advisories - MS-ISAC
Cyber Security Advisories - MS-ISAC
The Last Watchdog
The Last Watchdog
C
Cybersecurity and Infrastructure Security Agency CISA
IT之家
IT之家
W
WeLiveSecurity
P
Privacy & Cybersecurity Law Blog
F
Full Disclosure
L
Lohrmann on Cybersecurity
The Hacker News
The Hacker News
Exploit-DB.com RSS Feed
Exploit-DB.com RSS Feed
Y
Y Combinator Blog
S
Security @ Cisco Blogs
C
Cyber Attacks, Cyber Crime and Cyber Security
C
Check Point Blog
C
CXSECURITY Database RSS Feed - CXSecurity.com
N
News and Events Feed by Topic
PCI Perspectives
PCI Perspectives
I
InfoQ

Cheriton School of Computer Science

PhD Seminar • Bioinformatics • Recurrent Energy-Based Modeling of Side-Chain Allostery | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Bioinformatics • Machine learning reveals genome-wide DNA sequence patterns associated with thermal adaptation in extremophile microbes | Cheriton School of Computer Science | University of Waterloo PhD Defence • Information Retrieval | Human-Computer Interaction • Automated, Large-Scale Cinematic Colour Palette Extraction and Analysis for Movie Recommendations | Cheriton School of Computer Science | University of Waterloo Computer Museum Spring Open House | Cheriton School of Computer Science | University of Waterloo Seminar • Symbolic Computation • A Complete Validated Algorithm for the Initial Value Problem of Ordinary Differential Equations | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Artificial Intelligence | Machine Learning • Recent Advances in Unified Multimodal Understanding and Generation | Cheriton School of Computer Science | University of Waterloo PhD Defence • Artificial Intelligence | Machine Learning • Physics-Constrained Learning for Scientific Discovery: Inference in Differential Equations and Inverse Design via Generative Models | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Artificial Intelligence | Machine Learning • Learning to Understand and Generate Multimodal Contents Within a Unified Model | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Artificial Intelligence | Machine Learning • Learning to Evaluate and Improve Visual Generation from Human Preferences | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Artificial Intelligence | Machine Learning • Evolving the Knowledge Boundary in Agentic Visual Generation | Cheriton School of Computer Science | University of Waterloo CrySP Speaker Series on Privacy • Breaking the Web is Good for Privacy | Cheriton School of Computer Science | University of Waterloo Seminar • Algorithms & Complexity • Paintability of Bipartite Graphs | Cheriton School of Computer Science | University of Waterloo PhD Defence • Information Retrieval • Breaking Information Silos: Advancing Search Systems for Unified Information Seeking | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Symbolic Computation • Sobolev Regularized Polynomial Features for Robust Handwritten Symbol Recognition | Cheriton School of Computer Science | University of Waterloo PhD Defence • Programming Languages • Implementation Techniques for Lexical Effect Handlers | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Computational Finance • Data Scarcity and the Decumulation Problem: Two Challenges in Finance | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Artificial Intelligence | Machine Learning • From Verifiable Rewards to Tool-Using Agents: VerlTool for Agentic Reinforcement Learning | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Artificial Intelligence | Machine Learning • Understanding Hour-Long Videos with Hybrid Mamba-Transformers | Cheriton School of Computer Science | University of Waterloo Seminar • Human–Computer Interaction | Artificial Intelligence • Scaling Foundation Models & Agentic AI that Supports Healthy Living | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Algorithms and Complexity • Container Lemmas and the Query Complexity of Graph Property Testing | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Human–Computer Interaction • Technology-mediated Group Idea Generation and Evaluation for Artistic Creations Across Disciplines | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Artificial Intelligence | Machine Learning • A Unified Perturbation Framework for Analyzing Leaderboard Stability and Manipulation | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Artificial Intelligence | Human–Computer Interaction • AI in Mental Health: Clinician Perceptions and the Need for AI Literacy in Participatory Research | Cheriton School of Computer Science | University of Waterloo PhD Defence • Artificial Intelligence | Machine Learning • Multilingual Embeddings: Data, Training, and Understanding | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Data Systems • Evaluating LLM Robustness Under Adversarial and Conflicting Evidence in Health Question Answering and Claim Verification | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Symbolic Computation • Stability of Sobolev-Regularized Polynomial Differentiation Matrices | Cheriton School of Computer Science | University of Waterloo PhD Defence • Artificial Intelligence | Machine Learning • Gradient-based Methods for Multi-Objective Optimization with Applications in Machine Learning | Cheriton School of Computer Science | University of Waterloo PhD Defence • Artificial Intelligence | Machine Learning • Towards Foundation Models for Text-Rich Multimodal Tabular Data | Cheriton School of Computer Science | University of Waterloo Seminar • Algorithms and Complexity • A Strong Linear Programming Relaxation for Weighted Tree Augmentation | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Data Systems • Query Expansion in the Era of Large Language Models | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Algorithms and Complexity • Multistroke Character Recognition Using Orthogonal Polynomial Representations | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Artificial Intelligence | Machine Learning • Basis Transformer as a Foundation Model for Multimodal Tabular Representation Learning | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Quantum Computing • Quantum Colorings of Spheres | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Programming Languages • Tensor Probabilistic Model Checking of Finite-Horizon Markov Chains | Cheriton School of Computer Science | University of Waterloo Seminar • Algorithms and Complexity • Follow-the-Perturbed-Leader with Between-Action Dependence | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Artificial Intelligence | Machine Learning • UniMaia: Steering Chess Policies with Language for Human-like Play | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Cryptography, Security, and Privacy (CrySP) • The Evolution of Differentially Private Clustering | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Software Engineering • Trade-offs in Generic Programming: A Cross-Language Performance Study | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Artificial Intelligence | Explainable AI • Atomic Explanations for Retrieval-Augmented LLM Systems | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Cryptography, Security, and Privacy (CrySP) • Parallel Efficient Secure DBSCAN Approximation | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Artificial Intelligence | Machine Learning • Talk, Judge, Cooperate: Gossip-Driven Indirect Reciprocity in Self-Interested LLM Agents | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Data System • Diversed Model Discovery via Structured Table Discovery | Cheriton School of Computer Science | University of Waterloo PhD Defence • Programming Languages • Design and Implementation of Probabilistic Programming Languages for Sound and Scalable Inference | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Artificial Intelligence | Machine Learning • Basis Transformers for Multi-Task Tabular Regression | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Data Systems • LLM-Based Frameworks for Information Retrieval Evaluation | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Programming Languages • C∀ Collection Library | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Human–Computer Interaction • DuckDuckTalk: Conversational Agent Teams to Support Active Externalization during Collaborative Data Analysis | Cheriton School of Computer Science | University of Waterloo PhD Defence • Data Systems • Development and Evaluation of Assistive AI Systems for Assessing News Trustworthiness | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Software Engineering • Does Impact Analysis Support the Review of Changes to Build Specifications? | Cheriton School of Computer Science | University of Waterloo PhD Defence • Bioinformatics • Deep Learning for Accurate and Reliable De Novo Peptide Sequencing: From Missing Fragmentation to Open Modification Discovery | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Computer Algebra | Symbolic Computation • Signature-based Gröbner basis Algorithms for Determinantal Ideals | Cheriton School of Computer Science | University of Waterloo DLS: Gilles Brassard — Alan Turing and me | Cheriton School of Computer Science | University of Waterloo Rhetoricon Symposium: Figures & Constructions, Constructions & Figures | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Systems and Networking • Attacks on Approximate Caches in Text-to-Image Diffusion Models | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Data Systems • Differentially Oblivious Multi-way Join | Cheriton School of Computer Science | University of Waterloo PhD Defence • Cryptography, Security, and Privacy (CrySP) • Assumption Stress-Testing for Machine Learning Security | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Artificial Intelligence | Machine Learning • Simulating the Lateral Reader with an Iterative Multi-Agent RAG System for News Trustworthiness Assessment | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Human–Computer Interaction • Investigating Osu!: Exploring a Community who Exhibit Extreme Input Performance | Cheriton School of Computer Science | University of Waterloo PhD Defence • Algorithms and Complexity • Towards Fast, Safe and Persistent Concurrent Data Structures for Non-experts | Cheriton School of Computer Science | University of Waterloo PhD Defence • Algorithms and Complexity • The Sample Complexity of Differentially Private Statistical Estimation | Cheriton School of Computer Science | University of Waterloo PhD Defence • Cryptography, Security, and Privacy (CrySP) • Evolving Trade-offs Towards Deployable Private Systems for Data Science | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Cryptography, Security, and Privacy (CrySP) • Selective MPC: Distributed Computation of Differentially Private Key-Value Statistics | Cheriton School of Computer Science | University of Waterloo PhD Defence • Quantum Computing • Circuits, Codes and Capacity | Cheriton School of Computer Science | University of Waterloo PhD Defence • Cryptography, Security, and Privacy (CrySP) • Deployment Concerns in Machine Learning Systems: Unintended Interactions and Accountability | Cheriton School of Computer Science | University of Waterloo PhD Defence • Systems and Networking • Efficient High-precision Monitoring of Network Slices for 5G and Beyond Networks | Cheriton School of Computer Science | University of Waterloo
PhD Defence • Human–Computer Interaction • Tangible World-in-Miniature Interaction in Virtual Reality | Cheriton School of Computer Science | University of Waterloo
Mayuri Punithan · 2026-07-23 · via Cheriton School of Computer Science

Please note: This PhD defence will take place in EC1 1237 and online.

Junhyeok Kim, PhD candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Mark Hancock

Virtual Reality provides a rich spatial platform for working with miniature representations and tangible proxies across multiple scales and views. However, existing World-in-Miniature (WiM) systems face persistent challenges in scale perception, interaction continuity, and balancing speed with precision. In my dissertation, I investigate how combining tangible proxies with WiM environments can support fluid multi-scale spatial interaction. First, I present empirical insights from exploratory studies on miniature design tools and quantify user tolerance for visual–proprioceptive scale mismatches in VR. Next, I synthesize these perceptual findings into a multidimensional design framework for managing spatial and scale discrepancies over time. Finally, I introduce Laminar, an instantiated interaction technique that operationalizes this framework to enable continuous, intuitive, and scalable multi-scalar spatial design in VR.


To attend this PhD defence in person, please go to EC1 1237. You can also attend virtually on MS Teams.