Ltd. Akad. Dir.

Dr. Herbert Ehler

M.S. / Ohio St. Univ.

Herbert Ehler


E-mail:
ehler@in.tum.de,
Snail:
Dr. Herbert Ehler
Institut für Informatik
Technische Universität München
Boltzmannstr. 3
D-85748 Garching
Germany

Phone: +49 (89) 289 17187
Fax: +49 (89) 289 17190
Room: 00.12.040
Consultation/Tutoring hours: Friday 14:15-15:00



Fields of interest

Software and systems engineering

Formal methods for specification, development and verification of software

Formal development and optimization of efficient algorithms

Computer algebra

Cryptology





Links

Projects and Activities

Teaching