Jonas Rädle

Contact

E-Mailraedle@in.tum.de
OrganizationChair for Logic and Verification (I21)
Institut für Informatik
Technische Universität München
AddressBoltzmannstraße 3
85748 Garching
Germany
OfficeMI 00.09.065
Phone+49 (89) 289 17326