Andreas Bremer, M.Sc.

Researcher / PhD Student

Room 202, Building 50.34
Phone: +49 721 608-44024
Fax:      +49 721 608-44021
bremerXwx3∂kit edu

KIT / Institute of Information Security and Dependability (KASTEL)

Am Fasanengarten 5
Building 50.34
76131 Karlsruhe
Germany


Research Interests

  • Formal Methods

Publications