GIDON ERNST

The Shadow Yoga Instructor is a game about being invisible. By using your own body to block and absorb light, you are able to reach a higher state of being... I'm a computer science researcher working with logic and formal methods towards more reliable software and systems... SecCSL: Logic and tool for information flow security of low-level concurrent code

Primary location: Munich Germany