you can phisically find me (most of the times) at
School of Informatics, University of Edinburgh
3.18A Informatics Forum
10 Crichton Street Newington
Edinburgh EH8 9AB, UK

Hybrid Probabilistic Inference with Logical Constraints: Tractability and Message-Passing