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

推荐订阅源

T
Tenable Blog
K
KPMG report finds enterprise disconnect between AI and its ROI | CIO
V
Vulnerabilities – Threatpost
G
GRAHAM CLULEY
Simon Willison's Weblog
Simon Willison's Weblog
C
CXSECURITY Database RSS Feed - CXSecurity.com
P
Privacy International News Feed
H
Heimdal Security Blog
Exploit-DB.com RSS Feed
Exploit-DB.com RSS Feed
S
Secure Thoughts
MyScale Blog
MyScale Blog
C
Cyber Attacks, Cyber Crime and Cyber Security
V
Visual Studio Blog
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻
L
LINUX DO - 最新话题
D
Darknet – Hacking Tools, Hacker News & Cyber Security
The Cloudflare Blog
美团技术团队
Recorded Future
Recorded Future
T
Tailwind CSS Blog
Latest news
Latest news
Security Archives - TechRepublic
Security Archives - TechRepublic
Security Latest
Security Latest
Know Your Adversary
Know Your Adversary
Cloudbric
Cloudbric
Schneier on Security
Schneier on Security
I
Intezer
L
LINUX DO - 热门话题
P
Palo Alto Networks Blog
云风的 BLOG
云风的 BLOG
cs.CL updates on arXiv.org
cs.CL updates on arXiv.org
Vercel News
Vercel News
Attack and Defense Labs
Attack and Defense Labs
人人都是产品经理
人人都是产品经理
L
LangChain Blog
爱范儿
爱范儿
博客园 - 三生石上(FineUI控件)
博客园 - 叶小钗
L
Lohrmann on Cybersecurity
S
SegmentFault 最新的问题
W
WeLiveSecurity
C
Cybersecurity and Infrastructure Security Agency CISA
S
Securelist
SecWiki News
SecWiki News
V2EX - 技术
V2EX - 技术
IT之家
IT之家
Cyberwarzone
Cyberwarzone
F
Full Disclosure
Spread Privacy
Spread Privacy
阮一峰的网络日志
阮一峰的网络日志

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 Defence • Human–Computer Interaction • Tangible World-in-Miniature Interaction in Virtual Reality | 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 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 • 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
Joe Petrik · 2026-07-17 · via Cheriton School of Computer Science

Please note: This PhD defence will take place in M3 3001 and online.

Lena Podina, PhD candidate
David R. Cheriton School of Computer Science

Supervisors: Professors Mohammad Kohandel, Ali Ghodsi

Scientific discovery increasingly relies on machine learning (ML), but many scientific problems involve sparse data, physical constraints, and large combinatorial search spaces. In these regimes, ML can suffer from generalization and robustness issues, including generating outputs that violate physics constraints known \textit{a priori}. Physics-informed machine learning aims to integrate physical constraints into ML frameworks with the goal of guaranteeing physically sound outputs, especially to scientific problems. In supervised machine learning, physics-informed neural networks (PINNs) have been influential in handling problems that traditional differential equation solvers struggle with; in model discovery, symbolic regression algorithms can discover closed-form models that best describe a dataset; within generative models, generative flow networks (GFlowNets) are used to perform inverse design of drugs, antibiotics, and materials.

This thesis develops physics-informed machine learning methods that integrate prior scientific knowledge into predictive, inverse, and generative models. We make three main contributions to physics-informed machine learning: a contribution in the domain of PINNs; a contribution in the domain of symbolic regression; a contribution to materials discovery via GFlowNets. In the domain of PINNs, we introduce Universal PINNs, which can be used to learn unknown components of differential equations from sparse or noisy data, and we apply them to discover the best form for the drug action of a chemotherapeutic, testing the method both on synthetic and experimental data (Chapters 2 and 3). Then, we integrate PINNs with conformal prediction, enabling PINNs to output confidence intervals with provable guarantees on both parameter fits and differential equation solutions (Chapter 4). For our contribution in the domain of symbolic regression (Chapter 5), we augment the efficiency of symbolic regression algorithms with dimensional analysis, and showcase the improvement in the performance of a well-known symbolic regression algorithm, PySR. In the domain of materials discovery (Chapter 6), we build a framework for catalyst discovery, for the application of hydrogen energy storage. In this work, we integrate ML-based relaxation, reward shaping, and action space constraints to generate stable and efficient catalysts. For two separate chemical reactions, we rediscover the best known catalysts within a constrained search space.

Taken together, these contributions show that physical constraints can improve sample efficiency and reliability in scientific machine learning. Future work will integrate Universal PINNs and uncertainty quantification more tightly; GFlowNets and differential equation models could be applied together to a new scientific problem; the catalyst discovery framework could be tested experimentally and augmented with an active learning loop, in order to discover truly new materials.


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