User:Cweise

My name is Carsten Weise.

I'm a computer scientist with some interest in embedded systems and formal logics.