My life obsession is to learn as much as I can about design and analysis of distributed autonomous and intelligent systems. Nothing excites me more than building a complex and smart system from scratch. I am particularly interested in automated design methods for safe and reliable distributed systems.