This is a place for me do post and discuss topics that I consider interesting. This can be anything from formal/automated verification of systems on a chip to the generation of information systems. I have a background in Computer Science, Mathematics and Physics, so feel free to contact me on any related subject.