Jochen Eisinger
Department of Computer Science
Albert-Ludwig-University of Freiburg
Georges-Köhler-Allee 051
D-79110 Freiburg, Germany
eMail: eisinger@informatik.uni-freiburg.de
GPG: pubkey.asc (Fingerprint F1E7 055E 4CBC 5341 DB65 C40D 38F9 8335 04EA 4200)
Note: as of November 2009, I am working for Google.
Research Interests
- Formal verification of hybrid discrete-continuous systems
- Model theory of arithmetic structures
Copyright © 2009 Jochen Eisinger
eisinger@informatik.uni-freiburg.de
Last modified: November 10, 2009