معرفی
Thomas Studer is a Professor of Computer Science at the University of Bern, leading the Logic and Theory Group. He holds a PhD in Computer Science from the University of Bern (2001) and has worked as a senior software engineer before returning to academia. His research focuses on mathematical logic, formal methods, blockchain technology, and data privacy. He serves on the board of the Swiss Society for Logic and Philosophy of Science and chairs the computer science committee for the Matura exam in Canton Bern.
Research interests include justification logic, modal logics, proof theory, and applications in blockchain and secure systems. Recent work explores synergistic knowledge in distributed systems, conversational explanation frameworks, and probabilistic justification logics. He co-authored books on relational databases and logics of proofs.
Leadership roles include the Executive Committee of SCNAT’s Platform MAP (2016–2024). He advises on technical and ethical challenges in AI and cryptography, contributing to international conferences and editorial boards.
