Skip to main content

Björn Wachter

Personal photo - Björn Wachter

Dr Björn Wachter

Research Assistant

Research Member of Common Room, Wolfson College

Leaving date: 21st September 2015


My research focuses on the formal verification and quantitative analysis of computing systems.

You may also be interested in my Google Scholar Profile and DBLP entry.


Björn Wachter is currently a postdoctoral research assisant at the Computer Science Department of the University of Oxford. He received a PhD in computer science from Saarland University in 2010.

Selected Publications

View AllManage publications


Completed Projects