从1993年到1999年，我在慕尼黑大学。我在贝尔法斯特皇后大学2001年至2005年，我在计算机系统研究所的瑞士联邦理工学院。我在Armin Biere教授关于软件和硬件系统的验证。我为我的博士论文2005年9月28日。2006年10月至12月，我与亚历山德罗·西马蒂和马可·罗维里在FBK-irst公司2007年9月至2008年4月，我在奥德·马勒的组位于Verimag公司之后，我在FBK的 嵌入式系统单元.
