-
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] at
-
Email: martin [dot] riener [at] tuwien [dot] ac [dot] at
-
ORCID: