معرفی
Sean Holden is a Professor in the Department of Computer Science and Technology at the University of Cambridge, affiliated with The Computer Laboratory. He holds positions at both the University and Trinity College. His research focuses on automated theorem proving, machine learning, and their intersections with formal methods and AI. He leads the development of the Connect++ theorem prover, which won the Best Newcomer award at CASC 2024. His work spans areas including connection calculus, graph neural networks, and reinforcement learning in games like Mahjong.
Holden's academic contributions include over 50 publications in top venues such as IJCNN, ICPRAM, and Journal of Automated Reasoning. Notable works include foundational research on Bayesian methods in theorem proving and machine learning applications in bioinformatics and medical imaging. He serves as an Associate Editor for IEEE Transactions on Artificial Intelligence since 2023.
His research group explores topics like protein graph embeddings, medical AI (e.g., breast cancer classification via MUGI-MRI), and the integration of machine learning with automated reasoning systems. Collaborations span institutions including Trinity College and international partners in computational biology and AI.
