gidonernst.de - Gidon Ernst

home > domains > gidonernst.de

Example domain paragraphs

Junior Professor for Software Verification Software and Computational Systems Lab Ludwig-Maximilians-University of Munich

Email: gidonernst (*) gmail.com

I’m a computer science researcher working with logic and formal methods towards more reliable software and systems.

Links to gidonernst.de (1)

• martinakaendler.de Martina Kändler