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

推荐订阅源

Apple Machine Learning Research
Apple Machine Learning Research
H
Hacker News: Front Page
博客园_首页
Microsoft Azure Blog
Microsoft Azure Blog
aimingoo的专栏
aimingoo的专栏
V
V2EX
B
Blog RSS Feed
M
MIT News - Artificial intelligence
Engineering at Meta
Engineering at Meta
爱范儿
爱范儿
G
Google Developers Blog
D
Docker
T
Tor Project blog
C
CXSECURITY Database RSS Feed - CXSecurity.com
云风的 BLOG
云风的 BLOG
Recorded Future
Recorded Future
P
Proofpoint News Feed
博客园 - 【当耐特】
Microsoft Security Blog
Microsoft Security Blog
S
Schneier on Security
T
Threatpost
奇客Solidot–传递最新科技情报
奇客Solidot–传递最新科技情报
Jina AI
Jina AI
T
The Exploit Database - CXSecurity.com
F
Fortinet All Blogs
A
About on SuperTechFans
Latest news
Latest news
CTFtime.org: upcoming CTF events
CTFtime.org: upcoming CTF events
C
Cisco Blogs
C
Cybersecurity and Infrastructure Security Agency CISA
P
Proofpoint News Feed
H
Help Net Security
L
LINUX DO - 热门话题
A
Arctic Wolf
C
CERT Recently Published Vulnerability Notes
Security Latest
Security Latest
Spread Privacy
Spread Privacy
I
InfoQ
V
Vulnerabilities – Threatpost
Cyber Security Advisories - MS-ISAC
Cyber Security Advisories - MS-ISAC
L
LangChain Blog
Hacker News: Ask HN
Hacker News: Ask HN
腾讯CDC
大猫的无限游戏
大猫的无限游戏
P
Privacy & Cybersecurity Law Blog
K
KPMG report finds enterprise disconnect between AI and its ROI | CIO
AWS News Blog
AWS News Blog
Cisco Talos Blog
Cisco Talos Blog
D
DataBreaches.Net
Simon Willison's Weblog
Simon Willison's Weblog

Cheriton School of Computer Science

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 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 • 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
Joe Petrik · 2026-05-26 · via Cheriton School of Computer Science

Please note: This PhD defence will take place online.

Zeping Mao, PhD candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Ming Li

De novo peptide sequencing aims to identify peptide sequences directly from tandem mass spectra without relying on a reference protein database. This capability is essential for discovering novel proteins, antibody sequences, immunopeptides, and other proteomic signals that may be missed by conventional database search. However, accurate de novo sequencing remains difficult because tandem mass spectra are often incomplete: missing fragment ions obscure the true peptide path and can cause errors to accumulate during sequence prediction. Moreover, most existing deep learning methods are limited to a closed vocabulary of known amino acids and predefined post-translational modifications, making it difficult to discover unexpected or previously unannotated peptide chemistries.

This defense presents a series of deep learning approaches that move de novo peptide sequencing from direct sequence prediction toward structured inference over mass spectra. The first part focuses on the missing-fragmentation problem. GraphNovo represents each spectrum as a graph and separates peptide prediction into path discovery and sequence completion, helping preserve the global structure of the peptide even when local fragmentation evidence is missing. The second part extends this graph-based view beyond the conventional closed vocabulary of canonical amino acids and predefined modifications. RNovA, a rotary positional embedding-enhanced transformer framework, models mass differences between fragment ions and formulates sequencing as a sequential decision process. This enables zero-shot open modification discovery, allowing the model to reason over unresolved mass gaps and previously unseen modified residues without retraining or predefined modification lists. A supporting reliability framework further helps assess de novo predictions when database-derived ground truth is unavailable.

Together, these works advance de novo peptide sequencing toward accurate, reliable, database-independent, and open-ended proteomic discovery, expanding its potential for exploring previously inaccessible regions of the proteome.


Attend this PhD defence virtually on Zoom.