* About me I am a computer scientist, engineer and programmer interested in cyber-physical systems, formal verification, communication systems, embedded and declarative programming.