Martin Riener

Office: Room HB 03 20
Institutsgebäude Favoritenstraße 9-11
Technische Universität Wien, 1040 Wien
Office Hours: by appointment
Email: martin [at] derivation [dot] org
Email: riener [at] logic [dot]
Phone: +43 (1) 58801-18530
TISS: business card
ORCID:
Twitter: Deriving False