Jochen Eisinger
Postdoctoral Research Fellow
Department of Computer Science
University of British Columbia
201-2266 Main Mall
Vancouver, B.C., Canada V6T 1Z4
Office: ICCS 342
Voice: 604-822-4487
Fax: 604-822-5485
eMail: eisinger@cs.ubc.ca
GPG: pubkey.asc (Fingerprint 45F5 5ABB 03AE E204 677A C8F0 1EBD 0D36 C48E 744B)
Research Interests
- Formal verification of hybrid discrete-continuous systems
- Model theory of arithmetic structures
Copyright © 2009 Jochen Eisinger
eisinger@cs.ubc.ca
Last modified: April 9, 2009