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

Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing